Warning: Reason support is experimental. We are looking for beta-tester and contributors.

Module Defs.AstHelpers.Untranslate

module Untranslate : Type.Untranslate

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