def ag_f

import minebender-game@1.0.0.0/proof_solver.bend as ProofSolver

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

539def ag_f(e: AG, q: T.Pos) -> Bool:
540  ag_f.go(e, q)

Uses (4)