Module Mlsem_types.Ty

type t = Sstt.Ty.t
val pp : Stdlib.Format.formatter -> t -> unit
val pp' : Sstt.Subst.t -> Stdlib.Format.formatter -> t -> unit
val pp_raw : Stdlib.Format.formatter -> t -> unit
val any : t
val empty : t
val tt : t
val ff : t
val bool : t
val int : t
val float : t
val char : t
val unit : t
val string : t
val interval : Z.t option -> Z.t option -> t
val char_interval : char -> char -> t
val string_lit : string -> t
val neg : t -> t
val cup : t -> t -> t
val cap : t -> t -> t
val diff : t -> t -> t
val conj : t list -> t
val disj : t list -> t
val is_empty : t -> bool
val is_any : t -> bool
val non_empty : t -> bool
val non_any : t -> bool
val leq : t -> t -> bool
val disjoint : t -> t -> bool
val equiv : t -> t -> bool
val normalize : t -> t
val simplify : t -> t