nonterminal Pair<a b>

In file: Pair.sv

abstract production pair

top::Pair<a b> ::= f::a s::b

In file: Pair.sv

function fst

a ::= p::Pair<a b>

In file: Pair.sv

function snd

b ::= p::Pair<a b>

In file: Pair.sv

function lookupBy

Maybe<b> ::= eqf::(Boolean ::= a a) elem::a lst::[Pair<a b>]

In file: Pair.sv

function lookupAllBy

[b] ::= eqf::(Boolean ::= a a) elem::a lst::[Pair<a b>]

In file: Pair.sv

function unzipPairs

Pair<[a] [b]> ::= lst::[Pair<a b>]

In file: Pair.sv