law_include_map (p.catala.0.8.0.doc.catala.surface.Surface.Ast.law_include

constraint 'c law_include_map = 'c law_include_map

inherit VisitorsRuntime.map

inherit Catala_utils.Marked.pos_map

method visit_PdfFile : 'd ->
  (string, Catala_utils.Pos.t) Catala_utils.Marked.t ->
  int option ->
  law_include

method visit_CatalaFile : 'd ->
  (string, Catala_utils.Pos.t) Catala_utils.Marked.t ->
  law_include

method visit_LegislativeText : 'd ->
  (string, Catala_utils.Pos.t) Catala_utils.Marked.t ->
  law_include

method visit_law_include : 'd -> law_include -> law_include