Module Costlang.Ty

Runtime type

type _ t =
  1. | Unit : unit t
  2. | Num : Num.t t
  3. | Int : int t
  4. | Float : float t
  5. | String : string t
  6. | Bool : bool t
  7. | Arrow : 'a t * 'b t -> ('a -> 'b) t
val unit : unit t
val num : Num.t t
val int : int t
val bool : bool t
val float : float t
val string : string t
val arrow : 'a t -> 'b t -> ('a -> 'b) t
type (_, _) eq =
  1. | Refl : ('a, 'a) eq
val equal : 'a t -> 'b t -> ('a, 'b) eq option