let fold_all_inputs f acc sgn =
let acc = match sgn.in_ctrl with
| None -> acc
| Some info -> f acc (InCtrl, info) in
let acc =
fold_num_inputs (fun acc (n, info) -> f acc ((InNum n), info)) acc sgn
in
fold_impl_inputs (fun acc (l, info) -> f acc ((InImpl l), info)) acc sgn