Searched refs:proextract (Results 101 – 106 of 106) sorted by relevance
12345
889 proextract = unwrapProfunctor function