Searched defs:commuterFLId (Results 1 – 1 of 1) sorted by relevance
77 commuterFLId _ (NilFL :> y) = return (y :> NilFL) function78 commuterFLId commuter ((x :>: xs) :> y) function