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