let
merge_inputs_m1_mark =
SigMarks
.merge_inputs_m1_mark