compiler/src/lib/tiger/tiger_map_sig.ml

   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
  13
  14   val of_list : ('k * 'v) list -> ('k, 'v) t
  15 end