Changeset 2733 for extracted/set_adt.mli
 Timestamp:
 Feb 25, 2013, 11:04:57 PM (8 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

extracted/set_adt.mli
r2730 r2733 3 3 val set_empty : 'a1 set 4 4 5 val set_size : 'a1 set > Nat.nat6 7 val set_to_list : 'a1 set > 'a1 List.list8 9 val set_insert : 'a1 > 'a1 set > 'a1 set10 11 val set_remove : 'a1 > 'a1 set > 'a1 set12 13 5 val set_member : ('a1 > 'a1 > Bool.bool) > 'a1 > 'a1 set > Bool.bool 14 15 val set_forall : ('a1 > Bool.bool) > 'a1 set > Bool.bool16 17 val set_exists : ('a1 > Bool.bool) > 'a1 set > Bool.bool18 19 val set_filter : ('a1 > Bool.bool) > 'a1 set > 'a1 set20 21 val set_map : ('a1 > 'a2) > 'a1 set > 'a2 set22 23 val set_fold : ('a1 > 'a2 > 'a2) > 'a1 set > 'a2 > 'a224 6 25 7 val set_equal : … … 28 10 val set_diff : 'a1 set > 'a1 set > 'a1 set 29 11 30 val set_is_empty : 'a1 set > Bool.bool31 32 12 val set_singleton : 'a1 > 'a1 set 33 13 34 14 val set_from_list : 'a1 List.list > 'a1 set 35 15 36 val set_split :37 ('a1 > Bool.bool) > 'a1 set > ('a1 set, 'a1 set) Types.prod38 39 16 val set_subset : 40 17 ('a1 > 'a1 > Bool.bool) > 'a1 set > 'a1 set > Bool.bool 41 18 42 val set_subseteq :43 ('a1 > 'a1 > Bool.bool) > 'a1 set > 'a1 set > Bool.bool44 45 19 val set_union : 'a1 set > 'a1 set > 'a1 set 46 47 val set_intersection :48 ('a1 > 'a1 > Bool.bool) > 'a1 set > 'a1 set > 'a1 set49
Note: See TracChangeset
for help on using the changeset viewer.