let
check_input_marks sgn input_marks =
List
.fold_left (check_input sgn) ([],
false
) input_marks