Methods of the module objectval NamedArg
val NamedArg
Create a named argument<name: String> = <value: Term>
<name: String> = <value: Term>
Matches a named argument<name: String> = <value: Term>