Searched defs:applyTermE (Results 1 – 1 of 1) sorted by relevance
72 applyTermE err' m [] = m function73 applyTermE err' m es = coerce $ function