let
get_in_top_mark (sgn:t) =
Signature
.find_in_top sgn