sig
  type t
  val join :
    Interpreted_automata.Domain.t ->
    Interpreted_automata.Domain.t -> Interpreted_automata.Domain.t
  val widen :
    Interpreted_automata.Domain.t ->
    Interpreted_automata.Domain.t -> Interpreted_automata.Domain.t option
  val transfer :
    Interpreted_automata.vertex Interpreted_automata.transition ->
    Interpreted_automata.Domain.t -> Interpreted_automata.Domain.t option
end