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

constraint 'c law_include_map = 'c law_include_map

inherit VisitorsRuntime.map

inherit Utils.Pos.marked_map

method visit_PdfFile : 'd ->
  string Utils.Pos.marked ->
  int option ->
  law_include

method visit_CatalaFile : 'd -> string Utils.Pos.marked -> law_include

method visit_LegislativeText : 'd -> string Utils.Pos.marked -> law_include

method visit_law_include : 'd -> law_include -> law_include