def nsm_f

import minebender-game@1.0.0.0/proof_inv.bend as ProofInv

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

311def nsm_f(e: LS, q: T.Pos) -> Bool:
312  nsm_f.go(e, q)

Uses (4)