alba.albalib
Term.Sort
alba.fmlib
alba.fmlib_native
alba.fmlib_node
type t =
| Proposition
| Any of int
val is_sub : t -> t -> bool
is_sub s1 s2 Is s1 a subtype of s2 (or equal)?
is_sub s1 s2
s1
s2
val is_super : t -> t -> bool
is_super s1 s2 Is s1 a supertype of s2 (or equal)?
is_super s1 s2
val type_of : t -> t
val pi_sort : t -> t -> t