morley-0.3.0: Developer tools for the Michelson Language
Util.Type
Description
General type utilities.
type family IsElem (a :: k) (l :: [k]) :: Bool where ... Source #
Equations