Searched defs:mapRL_RL (Results 1 – 1 of 1) sorted by relevance
426 mapRL_RL _ NilRL = NilRL function427 mapRL_RL f (as:<:a) = mapRL_RL f as :<: f a function