Mlsem_types.FTy
type t = Sstt.Ty.F.t
val any : t
val empty : t
val of_oty : (Ty.t * bool) -> 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