nonterminal Either<a b>

In file: Either.sv

abstract production left

top::Either<a b> ::= value::a

In file: Either.sv

abstract production right

top::Either<a b> ::= value::b

In file: Either.sv

function partitionEithers

Pair<[a] [b]> ::= l::[Either<a b>]

In file: Either.sv

function fromLeft

a ::= e::Either<a b> o::a

In file: Either.sv

function fromRight

b ::= e::Either<a b> o::b

In file: Either.sv