INTERFACE PZTypes;

(* Short names for the basic types *)
(* Last edited on 1999-08-07 00:06:57 by hcgl *)

TYPE
  LONG = LONGREAL;
  LONGS = ARRAY OF LONG;

  INT = INTEGER;
  INTS = ARRAY OF INT;
  
  NAT = CARDINAL;
  NATS = ARRAY OF NAT;
  
  BOOL = BOOLEAN;
  BOOLS = ARRAY OF BOOL;

END PZTypes.
(*
  Copyright © 2001 Universidade Estadual de Campinas (UNICAMP).
  Authors: Helena C. G. Leitão and Jorge Stolfi.
  
  This file can be freely distributed, used, and modified, provided
  that this copyright and authorship notice is preserved, and that any
  modified versions are clearly marked as such.
  
  This software has NO WARRANTY of correctness or applicability for
  any purpose. Neither the authors nor their employers chall be held
  responsible for any losses or damages that may result from its use.
*)