lem

Lem is a tool for lightweight executable mathematics
Module Lem_maybe
val instance_Basic_classes_Eq_Maybe_maybe_dict : 'a Lem_basic_classes.eq_class -> 'a option Lem_basic_classes.eq_class
val maybeCompare : ( 'a -> 'b -> int ) -> 'a option -> 'b option -> int
val instance_Basic_classes_SetType_Maybe_maybe_dict : 'a Lem_basic_classes.setType_class -> 'a option Lem_basic_classes.setType_class
val instance_Basic_classes_Ord_Maybe_maybe_dict : 'a Lem_basic_classes.ord_class -> 'a option Lem_basic_classes.ord_class