File: set_test.mli

package info (click to toggle)
xen-api-libs 0.5.2-3
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 1,940 kB
  • sloc: ml: 13,925; sh: 2,930; ansic: 1,699; makefile: 1,240; python: 83
file content (15 lines) | stat: -rw-r--r-- 320 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
module type Set =
  sig
    type t
    val ( + ) : t -> t -> t
    val ( ^ ) : t -> t -> t
    val ( - ) : t -> t -> t
    val not : t -> t
    val ( = ) : t -> t -> bool
    val to_string : t -> string
  end
module SetEqualities :
  functor (S : Set) ->
    sig
      val all : (S.t -> S.t -> S.t -> unit) list
    end