Ast.law_heading_map
constraint 'c law_heading_map = 'c law_heading_map
inherit VisitorsRuntime.map
inherit Catala_utils.Mark.pos_map
method visit_law_heading : 'c -> 'd -> law_heading -> law_heading