Searched defs:closed_type (Results 1 – 3 of 3) sorted by relevance
484 let closed_type ty = function
292 TYPE :: closed_type type