NamedArgMethods

Extension methods of NamedArg

Extensions

Extensions

extension (self: NamedArg)
def name: String

The name part of name = arg

def value: Term

The argument part of name = arg