lem

Lem is a tool for lightweight executable mathematics
Module Lem_set_extra
val setCompare : 'b -> 'a Lem_basic_classes.ord_class -> 'a Pset.set -> 'a Pset.set -> int
val instance_Basic_classes_SetType_set_dict : 'a Lem_basic_classes.setType_class -> 'a Pset.set Lem_basic_classes.setType_class
val leastFixedPointUnbounded : 'b -> ( 'a Pset.set -> 'a Pset.set ) -> 'a Pset.set -> 'a Pset.set