total function A {function} which is defined for all arguments of the appropriate type. The opposite is a {partial function}. (1997-01-10)
版權所有 © 2024 3Dict.net