law level_expert

minebender-game@1.0.0.0 · LAWS.bend:532

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

532# LAW: "Expert is 30 wide by 16 high with 99 mines."
533law level_expert:
534  {G.setup(T.Expert{}) == T.Setup{30n, 16n, 99n} : T.Setup}