module Arg : sig ... end
type t =
  1. | Atom of Module_env.Path.t * Base.string
  2. | Tuple2 of t * t
  3. | Tuple3 of t * t * t
  4. | Tuple4 of t * t * t * t
  5. | Tuple5 of t * t * t * t * t
  6. | Arrow of Arg.t * t * t
  7. | Apply of t * Base.string
val uncurrify : t -> (Arg.t * t) Base.list * t
val of_type_desc : Types.type_desc -> env:Module_env.t -> t Base.Or_error.t
val to_string : t -> Base.string
val contains_arrow : t -> Base.bool