Module Dataflow_visitor

module F = Controlflow
type lhs_or_rhs =
  1. | Lhs
  2. | Rhs
type 'a fold_fn = F.nodei -> Dataflow.var -> lhs_or_rhs -> 'a -> 'a
val flow_fold : 'a fold_fn -> 'a -> F.flow -> 'a
val flow_fold_lv : (F.nodei -> Dataflow.var -> 'a -> 'a) -> 'a -> F.flow -> 'a
val flow_fold_rv : (F.nodei -> Dataflow.var -> 'a -> 'a) -> 'a -> F.flow -> 'a