Module `Builtin.Ty`

Builtin sorts

type t = private { id : Uid.t; name : attr_name; }

val id : t -> Uid.t

val attr_name : t -> attr_name

val mem : attr_name -> bool

val find : attr_name -> t

raises Not_found: if this builtin type was not registered

val register : ?⁠as_tip:string -> attr_name -> Uid.t -> t: memorize that this Uid corresponds to the given builtin type

val tainted_for_eq : t -> bool: Is equality on this type wrong?

val get_bool : unit -> t
val get_int : unit -> t
val get_string : unit -> t
val get_real : unit -> t
val get_float : unit -> t
val get_float_rounding : unit -> t
val get_array : unit -> t
val is_int : Uid.t -> bool
val is_bool : Uid.t -> bool
val is_option : Uid.t -> bool
val is_list : Uid.t -> bool
val is_float : Uid.t -> bool
val is_real : Uid.t -> bool
val is_string : Uid.t -> bool