Module Construction.Compute.MMap

module MMap: sig .. end

type t 

val empty : t

val add : Construction.Compute.lettre list ->
       Construction.Compute.Rel.t ->
       t -> t

val find : Construction.Compute.lettre list ->
       t -> Construction.Compute.Rel.t

val choose : t ->
       Construction.Compute.lettre list * Construction.Compute.Rel.t

val filter : (Construction.Compute.lettre list -> Construction.Compute.Rel.t -> bool) ->
       t -> t