Module Reasoner.Clause.Seq

module Seq: sig .. end

val terms : Reasoner.Clause.t -> Reasoner.term Sequence.t

val vars : Reasoner.Clause.t -> Reasoner.ty Libzipperposition.Var.t Sequence.t