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

constraint 'c law_include_map = 'c law_include_map

inherit VisitorsRuntime.map

inherit Utils.Marked.pos_map

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

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

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

method visit_law_include : 'd -> law_include -> law_include