Module TermInner.TyBuiltin

module TyBuiltin: sig .. end

type t = [ `Kind | `Prop | `Type | `Unitype ] 

val equal : 'a -> 'a -> bool

val compare : 'a -> 'a -> int

val to_string : [< `Kind | `Prop | `Type | `Unitype ] -> string