Contents | Prev | Next | Index


Equal Types

Two types Ta and Tb are equal if

  1. Ta and Tb are the same type, or
  2. Ta and Tb are open array types with equal element types, or
  3. Ta and Tb are procedure types whose formal parameters lists match


Contents | Prev | Next | Index

Canterbury Oberon-2 for JVM  (Last documentation update Jun 2, 2000)
Copyright © 1998 Mill Hill & Canterbury Corporation, Ltd. All rights reserved
Please send any comments or corrections to mhc@webcom.com