LAWS.level_intermediate: law of minebender-game@1.0.0.0
Import: import minebender-game@1.0.0.0/LAWS.bend as LAWS
Lines 528-530 of minebender-game@1.0.0.0/LAWS.bend: https://jend.leeeet.dev/read.txt?path=minebender-game@1.0.0.0/LAWS.bend&start_line=528&end_line=530

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

# LAW: "Intermediate is 16 by 16 with 40 mines."
law level_intermediate:
  {G.setup(T.Intermediate{}) == T.Setup{16n, 16n, 40n} : T.Setup}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/game.bend&name=setup
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/types.bend&name=Level
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/types.bend&name=Setup