in
Some (subst,metasenv,ugraph,hetype',he,args_bo_and_ty)
with Uncertain _ | RefineFailure _ -> None
in
Some (subst,metasenv,ugraph,hetype',he,args_bo_and_ty)
with Uncertain _ | RefineFailure _ -> None
candidates
with
| Some(subst,metasenv,ugraph,hetype',he,args_bo_and_ty)->
candidates
with
| Some(subst,metasenv,ugraph,hetype',he,args_bo_and_ty)->