Home
last modified time | relevance | path

Searched refs:defSu (Results 1 – 2 of 2) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/TypeCheck/
H A DMonad.hs144 defSu = defaultingSubst theSu function
154 (apSubst defSu result)
H A DInfer.hs836 let (as0,here1,defSu,ws,errs) = defaultAndSimplify maybeAmbig here0
838 extendSubst defSu