dovin-0.2: A proof assistant for Magic: The Gathering puzzles. (Index - W)

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

A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
R
S
T
U
V
W
_
All

Index - W

when	Dovin.Prelude
whenMatch	Solutions.GuildsOfRavnica3
with	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin
withAttribute	Dovin.Builder, Dovin.V1, Dovin.V2, Dovin
withAttributes	Dovin.Builder, Dovin.V1, Dovin.V2, Dovin
withEffect	Dovin.Builder, Dovin.V1, Dovin.V2, Dovin
withLocation
1 (Function)	Dovin.Builder, Dovin.V2, Dovin
2 (Function)	Dovin.V1
withMinusOneCounters	Dovin.Builder, Dovin.V1, Dovin.V2, Dovin
withPlusOneCounters	Dovin.Builder, Dovin.V1, Dovin.V2, Dovin
withStateBasedActions	Dovin.Actions, Dovin.V1, Dovin.V2, Dovin
withTriggers	Solutions.ChannelFireball
Won	Dovin.Types, Dovin.V1, Dovin.V2, Dovin