[tiger.ml.git] / exercises / ch01 / tree.ml

module type S = sig
  type ('k, 'v) t

  val empty : ('k, 'v) t

  val set : ('k, 'v) t -> k:'k -> v:'v -> ('k, 'v) t

  val get : ('k, 'v) t -> k:'k -> 'v option

  val member : ('k, 'v) t -> k:'k -> bool

  val to_dot : ('k, 'v) t -> k_to_string:('k -> string) -> string
end
Commit	Line	Data
958f7268 SK	1	module type S = sig
958f7268 SK	2	type ('k, 'v) t
f76c63f8	3
958f7268	4	val empty : ('k, 'v) t
f76c63f8	5
958f7268	6	val set : ('k, 'v) t -> k:'k -> v:'v -> ('k, 'v) t
88cc262a	7
958f7268	8	val get : ('k, 'v) t -> k:'k -> 'v option
88cc262a	9
958f7268	10	val member : ('k, 'v) t -> k:'k -> bool
88cc262a	11
958f7268 SK	12	val to_dot : ('k, 'v) t -> k_to_string:('k -> string) -> string
958f7268 SK	13	end