Module LogtkSignature.Seq

module Seq: sig .. end

val symbols : LogtkSignature.t -> LogtkSymbol.t Sequence.t
val types : LogtkSignature.t -> LogtkType.t Sequence.t
val to_seq : LogtkSignature.t -> (LogtkSymbol.t * LogtkType.t) Sequence.t
val of_seq : (LogtkSymbol.t * LogtkType.t) Sequence.t -> LogtkSignature.t