let
get_input_mark (sgn:t) n =
Signature
.find_input sgn n