copilot-core-2.1.1: An intermediate representation for Copilot.
Copilot.Core.Type.Eq
data EqWit a Source
Constructors
eqWit :: Type a -> EqWit aSource
data UVal Source
Fields
Instances