package catala

You can search for identifiers within the package.

in-package search v0.2.0

catala
- Catala
  - Driver
catala.dcalc
- Dcalc
  - Ast
    
    EnumConstructor
    
    EnumMap
    
    EnumName
    
    ScopeName
    
    StructFieldName
    
    StructMap
    
    StructName
    
    Var
    
    VarMap
  - Interpreter
  - Print
  - Typing
catala.desugared
- Desugared
  - Ast
    
    IdentMap
    
    RuleMap
    
    RuleName
    
    RuleSet
    
    ScopeDef
    
    ScopeDefMap
    
    ScopeDefSet
  - Dependency
    
    Edge
    
    ExceptionsDependencies
    
    E
    
    V
    
    ScopeDependencies
    
    E
    
    V
    
    Vertex
  - Desugared_to_scope
catala.law_source
- Law_source
  - Allocations_familiales
catala.lcalc
- Lcalc
  - Ast
    
    Var
    
    VarMap
  - Compile_with_exceptions
  - To_ocaml
catala.literate
- Literate
  - Html
  - Latex
catala.runtime
- Runtime
catala.scopelang
- Scopelang
  - Ast
    
    EnumConstructorMap
    
    LocationSet
    
    ScopeMap
    
    ScopeNameSet
    
    ScopeVar
    
    ScopeVarMap
    
    ScopeVarSet
    
    StructFieldMap
    
    SubScopeMap
    
    SubScopeName
    
    SubScopeNameSet
    
    Var
    
    VarMap
  - Dependency
    
    SDependencies
    
    E
    
    V
    
    TDependencies
    
    E
    
    V
    
    TVertex
    
    TVertexSet
  - Print
  - Scope_to_dcalc
catala.surface
- Surface
  - Ast
    
    program_iter
    
    program_map
  - Desugaring
  - Fill_positions
  - Lexer
  - Lexer_common
  - Lexer_en
  - Lexer_fr
  - Name_resolution
  - Parse_utils
  - Parser
    
    Incremental
    
    MenhirInterpreter
  - Parser_driver
  - Parser_errors
  - Print
catala.utils
- Utils
  - Cli
  - Errors
  - Pos
    
    marked_iter
    
    marked_map
  - Uid
    
    Id
    
    Info
    
    Make
    
    X
    
    MarkedString

Legend:
Library
Module
Module type
Parameter
Class
Class type

The only kind of information carried in Catala identifiers is the original string of the identifier annotated with the position where it is declared or used.

type info = string Pos.marked

val format_info : Format.formatter -> info -> unit