sig 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 end