law_structure_map (p.catala.0.5.0.doc.catala.surface.Surface.Ast.law_structure

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.marked ->
  bool ->
  law_structure

method visit_law_structure : 'd -> law_structure -> law_structure