Skip to content

Draft: Dep parse ty aux eq

Natasha Klaus requested to merge dep_parse_ty_aux_eq into master

Please review Fixpoint parse_ty_aux_dep_parse_ty_aux_eq is it reasonable? should I proceed? definition looks complicated.

Merge request reports