Searched refs:defSu (Results 1 – 2 of 2) sorted by relevance
144 defSu = defaultingSubst theSu function154 (apSubst defSu result)
836 let (as0,here1,defSu,ws,errs) = defaultAndSimplify maybeAmbig here0838 extendSubst defSu