dep_parse_comparable_ty_parse_comparable_ty_eq Qed

dep_parse_comparable_ty defined in Simulations folder it's equality with parse_comparable_ty proved.