Home
last modified time | relevance | path

Searched defs:superclassSet (Results 1 – 1 of 1) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/TypeCheck/
H A DType.hs337 superclassSet (TCon (PC PPrime) [n]) = function
340 superclassSet (TCon (PC p0) [t]) = go p0 function
353 superclassSet _ = mempty function