RepeatedMethods

Extension methods of Repeated

Extension methods of Repeated

Extensions

Extensions

extension (self: Repeated)
def elems: List[Term]