Mlsem_types.Tuple
val any : Ty.t
val any_n : int -> Ty.t
val mk : Ty.t list -> Ty.t
val proj : int -> int -> Ty.t -> Ty.t
val dnf : int -> Ty.t -> Ty.t list list
val of_dnf : int -> Ty.t list list -> Ty.t
val decompose : Ty.t -> (int * Ty.t list list) list * bool
val recompose : ((int * Ty.t list list) list * bool) -> Ty.t