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