Ast\_helper.Exp(3) OCaml library Ast\_helper.Exp(3)

# [NAME](#NAME)

Ast\_helper.Exp - Expressions

# [Module](#Module)

Module Ast\_helper.Exp

# [Documentation](#Documentation)

Module **Exp**  
: **sig end**

Expressions

*val mk* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs -> Parsetree.expression\_desc -> Parsetree.expression**

*val attr* : **Parsetree.expression -> Parsetree.attribute -> Parsetree.expression**

*val ident* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs -> Ast\_helper.lid -> Parsetree.expression**

*val constant* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs -> Parsetree.constant -> Parsetree.expression**

*val let\_* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs ->** **Asttypes.rec\_flag ->** **Parsetree.value\_binding list -> Parsetree.expression -> Parsetree.expression**

*val fun\_* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs ->** **Asttypes.arg\_label ->** **Parsetree.expression option ->** **Parsetree.pattern -> Parsetree.expression -> Parsetree.expression**

*val function\_* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs -> Parsetree.case list -> Parsetree.expression**

*val apply* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs ->** **Parsetree.expression ->** **(Asttypes.arg\_label * Parsetree.expression) list -> Parsetree.expression**

*val match\_* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs ->** **Parsetree.expression -> Parsetree.case list -> Parsetree.expression**

*val try\_* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs ->** **Parsetree.expression -> Parsetree.case list -> Parsetree.expression**

*val tuple* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs -> Parsetree.expression list -> Parsetree.expression**

*val construct* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs ->** **Ast\_helper.lid -> Parsetree.expression option -> Parsetree.expression**

*val variant* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs ->** **Asttypes.label -> Parsetree.expression option -> Parsetree.expression**

*val record* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs ->** **(Ast\_helper.lid * Parsetree.expression) list ->** **Parsetree.expression option -> Parsetree.expression**

*val field* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs ->** **Parsetree.expression -> Ast\_helper.lid -> Parsetree.expression**

*val setfield* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs ->** **Parsetree.expression ->** **Ast\_helper.lid -> Parsetree.expression -> Parsetree.expression**

*val array* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs -> Parsetree.expression list -> Parsetree.expression**

*val ifthenelse* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs ->** **Parsetree.expression ->** **Parsetree.expression -> Parsetree.expression option -> Parsetree.expression**

*val sequence* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs ->** **Parsetree.expression -> Parsetree.expression -> Parsetree.expression**

*val while\_* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs ->** **Parsetree.expression -> Parsetree.expression -> Parsetree.expression**

*val for\_* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs ->** **Parsetree.pattern ->** **Parsetree.expression ->** **Parsetree.expression ->** **Asttypes.direction\_flag -> Parsetree.expression -> Parsetree.expression**

*val coerce* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs ->** **Parsetree.expression ->** **Parsetree.core\_type option -> Parsetree.core\_type -> Parsetree.expression**

*val constraint\_* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs ->** **Parsetree.expression -> Parsetree.core\_type -> Parsetree.expression**

*val send* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs ->** **Parsetree.expression -> Ast\_helper.str -> Parsetree.expression**

*val new\_* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs -> Ast\_helper.lid -> Parsetree.expression**

*val setinstvar* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs ->** **Ast\_helper.str -> Parsetree.expression -> Parsetree.expression**

*val override* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs ->** **(Ast\_helper.str * Parsetree.expression) list -> Parsetree.expression**

*val letmodule* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs ->** **Ast\_helper.str\_opt ->** **Parsetree.module\_expr -> Parsetree.expression -> Parsetree.expression**

*val letexception* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs ->** **Parsetree.extension\_constructor ->** **Parsetree.expression -> Parsetree.expression**

*val assert\_* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs -> Parsetree.expression -> Parsetree.expression**

*val lazy\_* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs -> Parsetree.expression -> Parsetree.expression**

*val poly* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs ->** **Parsetree.expression -> Parsetree.core\_type option -> Parsetree.expression**

*val object\_* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs -> Parsetree.class\_structure -> Parsetree.expression**

*val newtype* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs ->** **Ast\_helper.str -> Parsetree.expression -> Parsetree.expression**

*val pack* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs -> Parsetree.module\_expr -> Parsetree.expression**

*val open\_* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs ->** **Parsetree.open\_declaration -> Parsetree.expression -> Parsetree.expression**

*val letop* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs ->** **Parsetree.binding\_op ->** **Parsetree.binding\_op list -> Parsetree.expression -> Parsetree.expression**

*val extension* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs -> Parsetree.extension -> Parsetree.expression**

*val unreachable* : **?loc:Ast\_helper.loc ->** **?attrs:Ast\_helper.attrs -> unit -> Parsetree.expression**

*val case* : **Parsetree.pattern ->** **?guard:Parsetree.expression -> Parsetree.expression -> Parsetree.case**

*val binding\_op* : **Ast\_helper.str ->** **Parsetree.pattern ->** **Parsetree.expression -> Ast\_helper.loc -> Parsetree.binding\_op**

2026-10-27 OCamldoc

---

Document: Ast_helper.Exp(3o) from ocaml-4 4.14.4-r4 (Chainguard OS)
Source: https://github.com/ocaml/ocaml