Signature.Seq
val symbols : t -> ID.t Sequence.t
val types : t -> Type.t Sequence.t
val to_seq : t -> (ID.t * Type.t) Sequence.t
val of_seq : (ID.t * Type.t) Sequence.t -> t
val add_seq : t -> (ID.t * Type.t) Sequence.t -> t