dovin-3.0: A proof assistant for Magic: The Gathering puzzles.

Index - E

effectActionDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
effectAddAbilityDovin.Effects, Dovin.V3, Dovin
effectAddTypeDovin.Effects, Dovin.V3, Dovin
EffectDurationDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
effectEnabledDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
effectFilterDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
EffectMonadDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
EffectNameDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
effectNoAbilitiesDovin.Effects, Dovin.V3, Dovin
effectPTAdjustDovin.Effects, Dovin.V3, Dovin
effectPTAdjustFDovin.Effects, Dovin.V3, Dovin
effectPTSetDovin.Effects, Dovin.V3, Dovin
effectPTSetFDovin.Effects, Dovin.V3, Dovin
emptyBoardDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
emptyCardDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
emptyEnvDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
enabledInPlayDovin.Effects, Dovin.V3, Dovin
enchantmentDovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
EndCombatDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
EndOfTurnDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
EndStepDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
Env 
1 (Type/Class)Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
2 (Data Constructor)Dovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
envActorDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
envOwnerDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
envSBAEnabledDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
envTemplateDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
execMonadDovin.Monad
exertDovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
exertedDovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
ExileDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
exileDovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
exileWhenLeaveStackDovin.Attributes, Dovin.V1, Dovin.V2, Dovin.V3, Dovin