copilot-core-3.0.1: An intermediate representation for Copilot.
Copilot.Core.Type.Eq
data EqWit a Source #
Constructors
eqWit :: Type a -> EqWit a Source #
data UVal Source #
Fields
Defined in Copilot.Core.Type.Eq
Methods
(==) :: UVal -> UVal -> Bool #
(/=) :: UVal -> UVal -> Bool #