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