sig
  val with_tuple :
    Camlp4.PreCast.Ast.Loc.t ->
    value:Camlp4.PreCast.Ast.expr ->
    ty:Camlp4.PreCast.Ast.ctyp ->
    ((Camlp4.PreCast.Ast.expr * Camlp4.PreCast.Ast.ctyp) list ->
     Camlp4.PreCast.Ast.expr) ->
    Camlp4.PreCast.Ast.expr
  val with_record :
    Camlp4.PreCast.Ast.Loc.t ->
    value:Camlp4.PreCast.Ast.expr ->
    ty:Camlp4.PreCast.Ast.ctyp ->
    ((Camlp4.PreCast.Ast.expr * Camlp4.PreCast.Ast.ctyp) list ->
     Camlp4.PreCast.Ast.expr) ->
    Camlp4.PreCast.Ast.expr
  val unpack_ty_app :
    Camlp4.PreCast.Ast.ctyp ->
    Camlp4.PreCast.Ast.ident * string list * Camlp4.PreCast.Ast.ctyp list
end