mirror of
https://github.com/QuantumPackage/qp2.git
synced 2024-11-14 01:53:49 +01:00
24 lines
361 B
OCaml
24 lines
361 B
OCaml
module Id :
|
|
sig
|
|
type t
|
|
val of_int : int -> t
|
|
val to_int : t -> int
|
|
val of_string : string -> t
|
|
val to_string : t -> string
|
|
val increment : t -> t
|
|
val decrement : t -> t
|
|
val compare : t -> t -> int
|
|
end
|
|
|
|
|
|
module Task :
|
|
sig
|
|
include (module type of Id)
|
|
end
|
|
|
|
|
|
module Client :
|
|
sig
|
|
include (module type of Id)
|
|
end
|