law Bq.Bag.le
import gralha-bendquest@0.1.0.0/game.bend as Gameimport Base
384law Bq.Bag.le:
385 (@+a_0: Bq.Bag -> (@+b_1: Bq.Bag -> Bool))
import gralha-bendquest@0.1.0.0/game.bend as Gameimport Base
384law Bq.Bag.le:
385 (@+a_0: Bq.Bag -> (@+b_1: Bq.Bag -> Bool))