module Map: functor (A : T) -> functor (B : T) -> sig .. end
functor (
A
:
T
) ->
B
sig
end
Functions between alphabets.
module M: Stdlib.Map.Make(A)
Stdlib.Map.Make
(
)
type t = B.t M.t
B.t M.t
val empty : t
t
val app : t -> A.t -> B.t
t -> A.t -> B.t
val add : 'a M.t -> M.key -> 'a -> 'a M.t
'a M.t -> M.key -> 'a -> 'a M.t
val iter : (M.key -> 'a -> unit) -> 'a M.t -> unit
(M.key -> 'a -> unit) -> 'a M.t -> unit