pub fn subtraction(base: u128, value: u128) -> PartialVMResult<u128>
Implements application of Subtraction to base.
Subtraction
base