Searched defs:normalG (Results 1 – 4 of 4) sorted by relevance
220 normalG e = do { e1 <- e; pure (NormalG e1) } function
203 normalG e = do { e1 <- e; return (NormalG e1) } function
218 normalG e = do { e1 <- e; pure (NormalG e1) } function