Draft: Dep parse ty aux eq
Please review Fixpoint parse_ty_aux_dep_parse_ty_aux_eq
is it reasonable? should I proceed? definition looks complicated.
Please review Fixpoint parse_ty_aux_dep_parse_ty_aux_eq
is it reasonable? should I proceed? definition looks complicated.