CaseDefMethods

Extension methods of CaseDef

Extension methods of CaseDef

Extensions

Extensions

extension (self: CaseDef)
def rhs: Term