sig
  type t
  val empty : Construction.Compute.AMap.t
  val add :
    Construction.Compute.lettre ->
    Construction.Compute.Rel.t ->
    Construction.Compute.AMap.t -> Construction.Compute.AMap.t
  val find :
    Construction.Compute.lettre ->
    Construction.Compute.AMap.t -> Construction.Compute.Rel.t
  val add_elt :
    Construction.Compute.lettre ->
    Construction.Compute.etat * Construction.Compute.etat ->
    Construction.Compute.AMap.t -> Construction.Compute.AMap.t
end