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

constraint 'c law_include_iter = 'c law_include_iter

inherit VisitorsRuntime.iter

inherit Utils.Marked.pos_iter

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

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

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

method visit_law_include : 'd -> law_include -> unit