~/jendhub
status
github
search
def
Or
Base
·
base.bend:148
import Base
148
def
Or
(-A:
Type
, -B:
Type
) ->
Type
:
149
Either
<&
1
, &
1
, A, B>
Uses
(
1
)
Either
Used by
(
34
)
bend-lawful-stdlib@0.1.0.0/src/class:Ord
minebender-game@1.0.0.0/proof_solver:or_cases
bend-lawful-stdlib@0.1.0.0/src/class:Ord.dec
bend-lawful-stdlib@0.1.0.0/src/sorted:insert.go
minebender-game@1.0.0.0/proof_solver:BranchSome
…