Home
last modified time | relevance | path

Searched refs:HMNormal (Results 1 – 4 of 4) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Auto/
H A DSyntax.hs15 data HintMode = HMNormal constructor
H A DSearchControl.hs241 (Nothing , HMNormal) ->
H A DAuto.hs186 env = RIEnv { rieHints = rechint $ map (,HMNormal) myhints
H A DCaseSplit.hs78 let env = RIEnv { rieHints = (recdef, HMRecCall) : map (, HMNormal) chints