next node: OptionCompare,
prev node: DynConv,
up to node: Subsystem UnionLike


EitherConv

Converting either values

Signature of EitherConv

List of Import References :
See BOOL
See DENOTATION
See Either

SIGNATURE EitherConv[a,b]

$Date: 2012-10-02 14:17:54 +0200 (Tue, 02 Oct 2012) $ ($Revision: 838 $)

IMPORT Either[a,b] ONLY either

SORT a b

FUN ` : (a -> denotation) ** (b->denotation) -> either -> denotation


next node: OptionCompare,
prev node: DynConv,
up to node: Subsystem UnionLike