Searched refs:normalGEName (Results 1 – 2 of 2) sorted by relevance
65 normalGEName, patGEName,330 normalGEName, patGEName :: Name function331 normalGEName = libFun (fsLit "normalGE") normalGEIdKey function
2182 repNormalGE (MkC g) (MkC e) = rep2 normalGEName [g, e]