Make.1-A
type const
type id
type var
type ty
val equal_const : const -> const -> bool
val equal_id : id -> id -> bool
val equal_var : var -> var -> bool
val equal_ty : ty -> ty -> bool
val var_ty : var -> ty
val ty_bool : unit -> ty