Mlsem_types.Lst
val nil : Ty.t
val any : Ty.t
val any_non_empty : Ty.t
val cons : Ty.t -> Ty.t -> Ty.t
val dnf : Ty.t -> (Ty.t * Ty.t) list
val proj : Ty.t -> Ty.t * Ty.t