let
get_all_input_marks (sgn:t) =
Signature
.fold_all_inputs (
fun
acc (k, m)
->
(k, m)::acc) [] sgn