~/jendhub

law Bq.Bag.add_nil

gralha-bendquest@0.1.0.0 · game.bend:696

import gralha-bendquest@0.1.0.0/game.bend as Game
import Base

696law Bq.Bag.add_nil:
697  (@+a_0: Bq.Bag -> {Bq.Bag.add(a_0, Nil{}) == a_0 : Bq.Bag})

Uses (3)

Used by (3)