Module `Desugared.Ast`Source

Abstract syntax tree of the desugared representation

Names, Maps and Keys

Sourcemodule IdentMap : Map.S with type key = String.t

Sourcemodule RuleName : Utils.Uid.Id with type info = Utils.Uid.MarkedString.info

Sourcemodule RuleMap : Map.S with type key = RuleName.t

Sourcemodule RuleSet : Set.S with type elt = RuleName.t

Sourcemodule ScopeDef : sig ... end

Inside a scope, a definition can refer either to a scope def, or a subscope def

Sourcemodule ScopeDefMap : Map.S with type key = ScopeDef.t

Sourcemodule ScopeDefSet : Set.S with type elt = ScopeDef.t

AST

Sourcetype rule = {

just : Scopelang.Ast.expr Utils.Pos.marked Bindlib.box;
cons : Scopelang.Ast.expr Utils.Pos.marked Bindlib.box;
parameter : (Scopelang.Ast.Var.t * Scopelang.Ast.typ Utils.Pos.marked) option;
exception_to_rule : RuleName.t Utils.Pos.marked option;

}

Source

val empty_rule : 
  Utils.Pos.t ->
  Scopelang.Ast.typ Utils.Pos.marked option ->
  rule

Source

val always_false_rule : 
  Utils.Pos.t ->
  Scopelang.Ast.typ Utils.Pos.marked option ->
  rule

Sourcetype assertion = Scopelang.Ast.expr Utils.Pos.marked Bindlib.box

Sourcetype variation_typ =

| Increasing
| Decreasing

Sourcetype reference_typ =

| Decree
| Law

Sourcetype meta_assertion =

| FixedBy of reference_typ Utils.Pos.marked
| VariesWith of unit * variation_typ Utils.Pos.marked option

Sourcetype scope = {

scope_vars : Scopelang.Ast.ScopeVarSet.t;
scope_sub_scopes : Scopelang.Ast.ScopeName.t Scopelang.Ast.SubScopeMap.t;
scope_uid : Scopelang.Ast.ScopeName.t;
scope_defs : (rule RuleMap.t * Scopelang.Ast.typ Utils.Pos.marked * bool) ScopeDefMap.t;
scope_assertions : assertion list;
scope_meta_assertions : meta_assertion list;

}

Sourcetype program = {

program_scopes : scope Scopelang.Ast.ScopeMap.t;
program_enums : Scopelang.Ast.enum_ctx;
program_structs : Scopelang.Ast.struct_ctx;

}

Helpers

Sourceval free_variables : rule RuleMap.t -> Utils.Pos.t ScopeDefMap.t

Install

Dune Dependency

Authors

Maintainers

Sources

doc/catala.desugared/Desugared/Ast/index.html

Module `Desugared.Ast`Source

Names, Maps and Keys

AST

Helpers

package catala

Install

Dune Dependency

Authors

Maintainers

Sources

doc/catala.desugared/Desugared/Ast/index.html

Module Desugared.AstSource

Names, Maps and Keys

AST

Helpers

Module `Desugared.Ast`Source