let get_all_input_marks fm = let fm = get_marks fm in let in_marks = Marks.get_all_input_marks (FI.sgn fm) in let out_marks = [] in (in_marks, out_marks)