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