# Module type Type.Untranslate

    module type Untranslate = sig .. end

    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