package catala

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

catala
- Catala
  - Driver
catala.dcalc
- Dcalc
  - Ast
    
    EnumConstructor
    
    EnumName
    
    ScopeName
    
    StructFieldName
    
    StructName
    
    Var
  - Interpreter
  - Print
  - Typing
catala.desugared
- Desugared
  - Ast
    
    RuleName
    
    ScopeDef
  - Dependency
    
    Vertex
  - Desugared_to_scope
catala.law_source
- Law_source
  - Allocations_familiales
catala.lcalc
- Lcalc
catala.literate
- Literate
  - Html
  - Latex
catala.runtime
- Runtime
catala.scopelang
- Scopelang
  - Ast
    
    ScopeVar
    
    SubScopeName
    
    Var
  - Dependency
    
    TVertex
  - 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

This is the generative functor that ensures that two modules resulting from two different calls to Make will be viewed as different types t by the OCaml typechecker. Prevents mixing up different sorts of identifiers.

Parameters

module X : Info

Signature

type t

type info = X.info

val fresh : info -> t

val get_info : t -> info

val compare : t -> t -> int

val format_t : Stdlib.Format.formatter -> t -> unit

val hash : t -> int