Changeset 2738 for extracted/untrusted/pset.mli
 Timestamp:
 Feb 27, 2013, 2:03:12 PM (7 years ago)
 Location:
 extracted/untrusted
 Files:

 1 added
 1 copied
Legend:
 Unmodified
 Added
 Removed

extracted/untrusted/pset.mli
r2735 r2738 1 1 type 'x set 2 2 3 val set_empty : 'a1 set3 val empty : 'a1 set 4 4 5 val set_member : ('a1 > 'a1 > Bool.bool) > 'a1 > 'a1 set > Bool.bool5 val is_empty: 'a1 set > bool 6 6 7 val set_equal : 8 ('a1 > 'a1 > Bool.bool) > 'a1 set > 'a1 set > Bool.bool 7 val mem : 'a1 > 'a1 set > bool 9 8 10 val set_diff : 'a1 set> 'a1 set > 'a1 set9 val add : 'a1 > 'a1 set > 'a1 set 11 10 12 val set_singleton : 'a1> 'a1 set11 val remove: 'a1 > 'a1 set > 'a1 set 13 12 14 val set_from_list : 'a1 List.list > 'a1 set13 val cardinal: 'a1 set > int 15 14 16 val set_subset : 17 ('a1 > 'a1 > Bool.bool) > 'a1 set > 'a1 set > Bool.bool 15 val fold: ('a1 > 'a > 'a) > 'a1 set > 'a > 'a 18 16 19 val set_union : 'a1 set > 'a1 set > 'a1 set 17 val iter: ('a1 > unit) > 'a1 set > unit 18 19 val equal : 'a1 set > 'a1 set > bool 20 21 val diff : 'a1 set > 'a1 set > 'a1 set 22 23 val singleton : 'a1 > 'a1 set 24 25 val subset : 'a1 set > 'a1 set > bool 26 27 val union : 'a1 set > 'a1 set > 'a1 set
Note: See TracChangeset
for help on using the changeset viewer.