in
candidate_oty,ugraph,metasenv,subst
with
in
candidate_oty,ugraph,metasenv,subst
with
| CicUnification.UnificationFailure _
| CicUnification.Uncertain _ ->
None,ugraph,metasenv,subst
| CicUnification.UnificationFailure _
| CicUnification.Uncertain _ ->
None,ugraph,metasenv,subst
None,ugraph4,metasenv,subst
in
match candidate with
None,ugraph4,metasenv,subst
in
match candidate with