Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Reduce/
H A DFast.hs321 , flitBranches :: Map Literal c function
372 , flitBranches = fmap (fastCompiledClauses env) lit function
1182 matchLit l = Map.lookup l (flitBranches bs) `ifJust` \ cc ->