def signed_milliseconds

bend-collections-laws-math@1.0.0.0 · proofs/lib/lemmas/src/wide.bend:93

import Base

93def signed_milliseconds(w: Word(64n), negative: Bool) -> Word(64n):
94  match negative:
95    case False{}:
96      unsigned_milliseconds(w)
97    case True{}:
98      neg(unsigned_milliseconds(neg(w)))