Ast (p.catala.0.8.0.doc.catala.lcalc.Lcalc.Ast)

Abstract syntax tree

Sourcetype lit = Shared_ast.lcalc Shared_ast.glit

type 'm naked_expr =
  (Shared_ast.lcalc, 'm Shared_ast.mark) Shared_ast.naked_gexpr

Sourceand 'm expr = (Shared_ast.lcalc, 'm Shared_ast.mark) Shared_ast.gexpr

Sourcetype 'm program = 'm expr Shared_ast.program

Language terms construction

Sourceval option_enum : Shared_ast.EnumName.t

Sourceval none_constr : Shared_ast.EnumConstructor.t

Sourceval some_constr : Shared_ast.EnumConstructor.t

Sourceval option_enum_config : Shared_ast.typ Shared_ast.EnumConstructor.Map.t

Sourceval make_none : 'm Shared_ast.mark -> 'm expr Shared_ast.boxed

Sourceval make_some : 'm expr Shared_ast.boxed -> 'm expr Shared_ast.boxed

Source

val make_matchopt_with_abs_arms : 
  'm expr Shared_ast.boxed ->
  'm expr Shared_ast.boxed ->
  'm expr Shared_ast.boxed ->
  'm expr Shared_ast.boxed

Source

val make_matchopt : 
  Catala_utils.Pos.t ->
  'm expr Shared_ast.Var.t ->
  Shared_ast.typ ->
  'm expr Shared_ast.boxed ->
  'm expr Shared_ast.boxed ->
  'm expr Shared_ast.boxed ->
  'm expr Shared_ast.boxed

e' = make_matchopt'' pos v e e_none e_some Builds the term corresponding to match e with | None -> fun () -> e_none |Some -> fun v -> e_some.

Special symbols

Sourceval handle_default : Shared_ast.untyped expr Shared_ast.Var.t

Sourceval handle_default_opt : Shared_ast.untyped expr Shared_ast.Var.t