77
78
79
80 (** unit **)
81
82 typedef unit = "{p. p = True}"
82 typedef unit = "{True}"
83
84 consts
85 "()" :: unit ("'(')")
86
87 defs