let
get_in_ctrl_mark (sgn:t) =
Signature
.find_in_ctrl sgn