Module type Iteration.Domain

module type Domain = sig .. end

include Iteration.PreDomain

val abstract_iter : ?exists:(Syntax.symbol -> bool) ->
       'a Syntax.context ->
       'a Syntax.formula -> (Syntax.symbol * Syntax.symbol) list -> 'a t