catala.shared_ast
Shared_ast.Qident
This module defines module names and path accesses, used to refer to separate compilation units.
api_web
catala.catala_utils
catala.clerk_driver
catala.dcalc
catala.desugared
catala.driver
catala.lcalc
catala.literate
catala.plugins
catala.runtime_jsoo
catala.runtime_ocaml
catala.scalc
catala.scopelang
catala.surface
catala.verification
explain
json_schema
lazy_interpreter
python
type modname = string
Expected to be a uident (i.e. start with an uppercase letter)
type ident = string
Expected to be a lident (i.e. start with a lowercase letter)
type path = modname list
type t = path * ident
val compare_path : path -> path -> int
val equal_path : path -> path -> bool
val compare : t -> t -> int
val equal : t -> t -> bool
val format : Format.formatter -> t -> unit
module Set : Set.S with type elt = t
module Map : Map.S with type key = t