hall
Switch Light/Dark Mode
/
hall
/
hpack
/
Combine
/
discardConflict
Copy path to clipboard
Source
{-| If both values are provided, discard them.
-}
λ(
a
: Type) → λ(_ :
a
) → λ(_ :
a
) → None
a
