Tjr_either
type ('a, 'b) either
=
|
Inl of 'a
Inr of 'b
val is_Inl : ('a, 'b) either -> bool
val is_Inr : ('a, 'b) either -> bool
val dest_Inl : ('a, 'b) either -> 'a
val dest_Inr : ('a, 'b) either -> 'b
val cases : ('a -> 'b) -> ('c -> 'b) -> ('a, 'c) either -> 'b