module Ctt_visitor: sig end
val list_map_ordered : ('a -> 'b) -> 'a list -> 'b list
val visit_expr : (Ctt_abstree.expr -> Ctt_abstree.expr) ->
Ctt_abstree.expr -> Ctt_abstree.expr
val visit_statement : v_expr:(Ctt_abstree.expr -> Ctt_abstree.expr) ->
v_ldecl:(Ctt_abstree.variable_declaration -> Ctt_abstree.variable_declaration) ->
self:(Ctt_abstree.statement -> Ctt_abstree.statement) ->
Ctt_abstree.statement -> Ctt_abstree.statement