lem

Lem is a tool for lightweight executable mathematics
Module Lem_set
val instance_Basic_classes_Eq_set_dict : 'b -> 'a Pset.set Lem_basic_classes.eq_class
val partition : 'b -> ( 'a -> bool ) -> 'a Pset.set -> 'a Pset.set * 'a Pset.set
val split : 'b -> 'a Lem_basic_classes.ord_class -> 'a -> 'a Pset.set -> 'a Pset.set * 'a Pset.set
val splitMember : 'b -> 'a Lem_basic_classes.ord_class -> 'a -> 'a Pset.set -> 'a Pset.set * bool * 'a Pset.set
val bigintersection : 'a Lem_basic_classes.setType_class -> 'a Pset.set Pset.set -> 'a Pset.set
val setMapMaybe : 'a -> 'b Lem_basic_classes.setType_class -> ( 'c -> 'b option ) -> 'c Pset.set -> 'b Pset.set
val removeMaybe : 'a Lem_basic_classes.setType_class -> 'a option Pset.set -> 'a Pset.set
val leastFixedPoint : 'b -> Nat_num.nat -> ( 'a Pset.set -> 'a Pset.set ) -> 'a Pset.set -> 'a Pset.set