Module Module.FreeLeft.Map

module Map: sig .. end

module E: Stdlib.Map.Make(X)

type map = Module.FreeLeft.t E.t 

val set : map ->
       X.t -> Module.FreeLeft.t -> map

val app : map -> X.t -> Module.FreeLeft.t

val bind : map -> Module.FreeLeft.t -> Module.FreeLeft.t

val zero : map

val to_string : map -> string

type t = map