lem

Lem is a tool for lightweight executable mathematics
Module Either
type (!'a, !'b) either =
| Left of 'a
| Right of 'b
val either_case : ( 'a -> 'b ) -> ( 'c -> 'b ) -> ( 'a, 'c ) either -> 'b
val eitherEqualBy : ( 'a -> 'a -> bool ) -> ( 'b -> 'b -> bool ) -> ( 'a, 'b ) either -> ( 'a, 'b ) either -> bool
val either_partition : ( 'a, 'b ) either list -> 'a list * 'b list