Function Minf

Part of:

package metabang.utilities
( minf < #:g5738 > < value > )
Sets `place' to min of its old value and `value'