[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
  val to_list : ('k , 'v) t    -> ('k * 'v) list
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	13
e6e82c08 SK	14	val of_list : ('k * 'v) list -> ('k , 'v) t
e6e82c08 SK	15	val to_list : ('k , 'v) t -> ('k * 'v) list
2eadd929	16	end