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

constraint 'c law_include_iter = 'c law_include_iter

inherit VisitorsRuntime.iter

inherit Catala_utils.Marked.pos_iter

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

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

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

method visit_law_include : 'd -> law_include -> unit