test.ok_binding_with_same_name_type_and_term.mps 4.59 KB