TypedMethods

Extension methods of Typed

Extension methods of Typed

Extensions

Extensions

extension (self: Typed)
def expr: Term