~/jendhub

def and4

minebender-game@1.0.0.0 · proof_walk.bend:12

import minebender-game@1.0.0.0/proof_walk.bend as ProofWalk
import Base

12def and4(+a: Bool, +b: Bool, +c: Bool, +d: Bool) -> Bool:
13  Bool.and(Bool.and(Bool.and(a, b), c), d)

Uses (2)

Used by (0)

No other definition uses this definition.