Module Reasoner.Seq

module Seq: sig .. end

val of_seq : Reasoner.t ->
       Reasoner.clause Sequence.t -> Reasoner.t * Reasoner.consequence Sequence.t

val to_seq : Reasoner.t -> Reasoner.clause Sequence.t

val facts : Reasoner.t -> Reasoner.fact Sequence.t