let
fold_impl_inputs f acc sgn =
List
.fold_left f acc sgn.in_implicits