package catala

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

Abstract syntax tree of the desugared representation

Names, Maps and Keys

module IdentMap : Stdlib.Map.S with type key = Stdlib.String.t

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

module RuleMap : Stdlib.Map.S with type key = RuleName.t

module RuleSet : Stdlib.Set.S with type elt = RuleName.t

module ScopeDef : sig ... end

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

module ScopeDefMap : Stdlib.Map.S with type key = ScopeDef.t

module ScopeDefSet : Stdlib.Set.S with type elt = ScopeDef.t

type rule = {

}

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

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

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

type variation_typ =

type reference_typ =

type meta_assertion =

type 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;

}

type program = {

}

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