law_include_map (catala.Surface.Ast.law_include

constraint 'c law_include_map = 'c law_include_map

inherit VisitorsRuntime.map

inherit Catala_utils.Mark.pos_map

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

method visit_CatalaFile : 'c ->
  'e ->
  ( string, Catala_utils.Pos.t ) Catala_utils.Mark.ed ->
  law_include

method visit_LegislativeText : 'c ->
  'f ->
  ( string, Catala_utils.Pos.t ) Catala_utils.Mark.ed ->
  law_include

method visit_law_include : 'c -> 'g -> law_include -> law_include