package sibylfs-lem

  1. Overview
  2. Docs
val instance_Basic_classes_Eq_set_dict : 'a -> 'b Pset.set Lem_basic_classes.eq_class
val instance_Basic_classes_SetType_set_dict : 'a -> 'b Pset.set Lem_basic_classes.setType_class
val partition : 'a -> ('b -> bool) -> 'b Pset.set -> 'b Pset.set * 'b Pset.set
val split : 'a -> 'b Lem_basic_classes.ord_class -> 'b -> 'b Pset.set -> 'b Pset.set * 'b Pset.set
val splitMember : 'a -> 'b Lem_basic_classes.ord_class -> 'b -> 'b Pset.set -> 'b Pset.set * bool * 'b Pset.set
val leastFixedPoint : 'a -> Nat_num.nat -> ('b Pset.set -> 'b Pset.set) -> 'b Pset.set -> 'b Pset.set
OCaml

Innovation. Community. Security.