lem

Lem is a tool for lightweight executable mathematics
Module Lem_either
val instance_Basic_classes_Eq_Either_either_dict : 'a Lem_basic_classes.eq_class -> 'b Lem_basic_classes.eq_class -> ( 'a, 'b ) Either.either Lem_basic_classes.eq_class
val either_setElemCompare : ( 'a -> 'b -> int ) -> ( 'c -> 'd -> int ) -> ( 'a, 'c ) Either.either -> ( 'b, 'd ) Either.either -> int
val instance_Basic_classes_SetType_Either_either_dict : 'a Lem_basic_classes.setType_class -> 'b Lem_basic_classes.setType_class -> ( 'a, 'b ) Either.either Lem_basic_classes.setType_class