[tiger.ml.git] / compiler / src / lib / tiger / tiger_map_sig.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

  val of_list : ('k * 'v) list -> ('k, 'v) t
end
Commit	Line	Data
2eadd929 SK	1	module type S = sig
	2	type ('k, 'v) t
	3
	4	val empty : ('k, 'v) t
	5
	6	val set : ('k, 'v) t -> k:'k -> v:'v -> ('k, 'v) t
	7
	8	val get : ('k, 'v) t -> k:'k -> 'v option
	9
	10	val member : ('k, 'v) t -> k:'k -> bool
	11
	12	val to_dot : ('k, 'v) t -> k_to_string:('k -> string) -> string
be22952d SK	13
be22952d SK	14	val of_list : ('k * 'v) list -> ('k, 'v) t
2eadd929	15	end