sig
  type t
  val empty : Construction.Compute.MMap.t
  val add :
    Construction.Compute.lettre list ->
    Construction.Compute.Rel.t ->
    Construction.Compute.MMap.t -> Construction.Compute.MMap.t
  val find :
    Construction.Compute.lettre list ->
    Construction.Compute.MMap.t -> Construction.Compute.Rel.t
  val choose :
    Construction.Compute.MMap.t ->
    Construction.Compute.lettre list * Construction.Compute.Rel.t
  val filter :
    (Construction.Compute.lettre list -> Construction.Compute.Rel.t -> bool) ->
    Construction.Compute.MMap.t -> Construction.Compute.MMap.t
end