let
get_input_mark =
SigMarks
.get_input_mark