negate method Null safety

Value negate(
  1. Value v,
  2. Model<ProgramOperation> m
)

Implementation

Value negate(Value v, Model m);