Searched refs:GeneralizedValue (Results 1 – 2 of 2) sorted by relevance
685 createGenValues :: Set QName -> TCM (Map MetaId QName, Map QName GeneralizedValue)694 createGenValue :: QName -> TCM (QName, MetaId, GeneralizedValue)745 return (x, m, GeneralizedValue{ genvalCheckpoint = cp
1262 data GeneralizedValue = GeneralizedValue function2896 , envGeneralizedVars :: Map QName GeneralizedValue3132 eGeneralizedVars :: Lens' (Map QName GeneralizedValue) TCEnv4672 instance NFData GeneralizedValue