package catala

You can search for identifiers within the package.

in-package search v0.2.0

Module `Surface.Parser_driver`Source

Wrapping module around parser and lexer that offers the Surface.Parser_driver.parse_source_file API.

val lines : 
  Catala_utils.File.t ->
  Catala_utils.Cli.backend_lang ->
  (string * Lexer_common.line_token) Seq.t

Raw file parser that doesn't interpret any includes and returns the flat law structure as is

Sourceval load_interface : Catala_utils.Cli.input_src -> Ast.interface

Reads only declarations in metadata in the supplied input file, and only keeps type information. The list of submodules is initialised with names only and empty contents.

Sourceval parse_top_level_file : Catala_utils.Cli.input_src -> Ast.program

Parses a catala file (handling file includes) and returns a program. Interfaces of the used modules are returned empty, use load_interface to fill them.

package catala

Module Surface.Parser_driverSource

Module `Surface.Parser_driver`Source