Module Construction.Compute.AMap

module AMap: sig .. end

type t 

val empty : t

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

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

val add_elt : Construction.Compute.lettre ->
       Construction.Compute.etat * Construction.Compute.etat ->
       t -> t