Functor Iteration.Split

module Split: 
functor (Iter : DomainPlus) -> Domain 

include Iteration.PreDomain

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