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

Index - W

whenDovin.Prelude
whenMatchSolutions.GuildsOfRavnica3
WhiteDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
withDovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
withAttributeDovin.Builder, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
withAttributesDovin.Builder, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
withCMCDovin.Builder, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
withEffect 
1 (Function)Dovin.Builder, Dovin.V3, Dovin
2 (Function)Dovin.V1, Dovin.V2
withEffectWhenDovin.Builder, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
withLocation 
1 (Function)Dovin.Builder, Dovin.V2, Dovin.V3, Dovin
2 (Function)Dovin.V1
withMinusOneCountersDovin.Builder, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
withOwnerDovin.Builder, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
withPlusOneCountersDovin.Builder, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
withStateBasedActionsDovin.Actions, Dovin.V1, Dovin.V2, Dovin.V3, Dovin
withTriggersSolutions.ChannelFireball
WonDovin.Types, Dovin.V1, Dovin.V2, Dovin.V3, Dovin