law level_custom

minebender-game@1.0.0.0 · LAWS.bend:536

import Base
import minebender-game@1.0.0.0/types.bend as T
import minebender-game@1.0.0.0/game.bend as G

536# LAW: "A custom level is limited exactly as Windows XP limits it."
537law level_custom:
538  for w: Nat
539  for h: Nat
540  for m: Nat
541  {G.setup(T.Custom{w, h, m}) == custom(w, h, m) : T.Setup}