- | Ast.Binder (`Forall, (Ast.Ident ("_", None), typ), body)
- | Ast.Binder (`Pi, (Ast.Ident ("_", None), typ), body) ->
+ | Ast.Binder (`Forall, (Ast.Ident ("_", `Ambiguous), typ), body)
+ | Ast.Binder (`Forall, (Ast.Ident ("_", `Rel), typ), body)
+ | Ast.Binder (`Pi, (Ast.Ident ("_", `Ambiguous), typ), body)
+ | Ast.Binder (`Pi, (Ast.Ident ("_", `Rel), typ), body) ->