Assertion: argument's function | /r/CapableOf | take empty parameter list
Facets:
value: in formal type theory
type: OTHER
Source sentences:
text: Some languages use a special keyword (e.g. void) to indicate that the subroutine has no parameters; in formal type theory, such functions take an empty parameter list (whose type is not void, but rather unit).