package libsail

  1. Overview
  2. Docs
package libsail
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module ZAst.ExpBuilder

Parameters

Signature

type t = Tannot.t Ast.exp
val mk_app : Tannot.t Ast.annot -> Ast.id -> t list -> Tannot.t Ast.exp
val mk_config : Tannot.t Ast.annot -> string list -> Tannot.t Ast.exp
val mk_block : Tannot.t Ast.annot -> t list -> Tannot.t Ast.exp
val mk_exit : Tannot.t Ast.annot -> t -> Tannot.t Ast.exp
val mk_ite : Tannot.t Ast.annot -> t -> t -> t -> Tannot.t Ast.exp
val mk_list : Tannot.t Ast.annot -> list_case -> t list -> Tannot.t Ast.exp
val mk_literal : Tannot.t Ast.annot -> Ast.lit -> Tannot.t Ast.exp
val mk_pexp : Tannot.t Ast.annot -> ((Tannot.t Ast.pat * t option) * t) -> Tannot.t Ast.pexp
val mk_match : Tannot.t Ast.annot -> match_case -> t -> ((Tannot.t Ast.pat * t option) * t) list -> Tannot.t Ast.exp
val mk_pair : Tannot.t Ast.annot -> pair_case -> t -> t -> Tannot.t Ast.exp
val mk_return : Tannot.t Ast.annot -> t -> Tannot.t Ast.exp
val mk_single : Tannot.t Ast.annot -> single_case -> t -> Tannot.t Ast.exp
val mk_var : Tannot.t Ast.annot -> Tannot.t zlexp -> t list -> t -> t -> Tannot.t Ast.exp
val mk_assign : Tannot.t Ast.annot -> Tannot.t zlexp -> t list -> t -> Tannot.t Ast.exp