package alba

  1. Overview
  2. Docs
type t =
  1. | Proposition
  2. | Any of int
val is_sub : t -> t -> bool

is_sub s1 s2 Is s1 a subtype of s2 (or equal)?

val is_super : t -> t -> bool

is_super s1 s2 Is s1 a supertype of s2 (or equal)?

val type_of : t -> t
val pi_sort : t -> t -> t
OCaml

Innovation. Community. Security.