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