package catala

You can search for identifiers within the package.

in-package search v0.2.0

Compiler and library for the literate programming language for tax code specification

Install

md5=6dbbc2f50c23693f26ab6f048e78172f

sha512=a5701e14932d8a866e2aa3731f76df85ff2a68b4fa943fd510c535913573274d66eaec1ae6fcae17f20b475876048a9ab196ef6d8c23d4ea6b90b986aa0a6daa

constraint 'c law_structure_map = 'c law_structure_map

inherit VisitorsRuntime.map

inherit law_include_map

inherit code_block_map

inherit source_repr_map

inherit law_heading_map

method visit_LawInclude : 'd -> law_include -> law_structure

method visit_LawHeading : 'd ->
  law_heading ->
  law_structure list ->
  law_structure

method visit_LawText : 'd -> string -> law_structure

method visit_CodeBlock : 'd ->
  code_block ->
  (string, Utils.Pos.t) Utils.Marked.t ->
  bool ->
  law_structure

method visit_law_structure : 'd -> law_structure -> law_structure