sig
  val param : string * [< `Minus | `Plus ] option -> Camlp4.PreCast.Ast.ctyp
  val qname : string list -> Camlp4.PreCast.Ast.ident
  val qName : string list -> Camlp4.PreCast.Ast.ident
  val expr : Type.expr -> Camlp4.PreCast.Ast.ctyp
  val poly : Type.param list * Type.expr -> Camlp4.PreCast.Ast.ctyp
  val rhs : Type.rhs -> Camlp4.PreCast.Ast.ctyp
  val tagspec : Type.tagspec -> Camlp4.PreCast.Ast.ctyp
  val summand : Type.summand -> Camlp4.PreCast.Ast.ctyp
  val field : Type.field -> Camlp4.PreCast.Ast.ctyp
  val repr : Type.repr -> Camlp4.PreCast.Ast.ctyp
  val constraint_ :
    Type.expr * Type.expr ->
    Camlp4.PreCast.Ast.ctyp * Camlp4.PreCast.Ast.ctyp
  val decl : Type.decl -> Camlp4.PreCast.Ast.ctyp
  val sigdecl : Type.decl -> Camlp4.PreCast.Ast.ctyp list
end