Compile_from_lambda (p.catala.0.6.0.doc.catala.scalc.Scalc.Compile_from

Sourcemodule A = Ast

Sourcemodule L = Lcalc.Ast

Sourcemodule D = Dcalc.Ast

Sourcetype ctxt = {

func_dict : A.TopLevelName.t L.VarMap.t;
decl_ctx : D.decl_ctx;
var_dict : A.LocalName.t L.VarMap.t;
inside_definition_of : A.LocalName.t option;

}

val translate_expr : 
  ctxt ->
  L.expr Utils.Pos.marked ->
  A.block * A.expr Utils.Pos.marked

Sourceval translate_statements : ctxt -> L.expr Utils.Pos.marked -> A.block

Source

val translate_scope : 
  D.decl_ctx ->
  A.TopLevelName.t L.VarMap.t ->
  L.expr Utils.Pos.marked ->
  (A.LocalName.t Utils.Pos.marked * D.typ Utils.Pos.marked) list * A.block

Sourceval translate_program : L.program -> A.program