proofs/lib/lemmas/src/time.bend checks

raw source on the hub · import bend-collections-laws-math@1.0.0.0/proofs/lib/lemmas/src/time.bend as Time

3 imports

import Base
import ../types/model.bend as T
import ./wide.bend as W

Definitions

def add source · line 5 · raw

@a:0xf86f5f1d9a594d5a5cff999100e01d03/proofs/lib/lemmas/types/model.Int64 -> @b:0xf86f5f1d9a594d5a5cff999100e01d03/proofs/lib/lemmas/types/model.Int64 -> 0xf86f5f1d9a594d5a5cff999100e01d03/proofs/lib/lemmas/types/model.Int64

def milliseconds source · line 10 · raw

@ns:0xf86f5f1d9a594d5a5cff999100e01d03/proofs/lib/lemmas/types/model.Int64 -> 0xf86f5f1d9a594d5a5cff999100e01d03/proofs/lib/lemmas/types/model.Int64

def is_zero source · line 14 · raw

@t:0xf86f5f1d9a594d5a5cff999100e01d03/proofs/lib/lemmas/types/model.Int64 -> Bool

def deadline_choose source · line 18 · raw

@now:0xf86f5f1d9a594d5a5cff999100e01d03/proofs/lib/lemmas/types/model.Int64 -> @ns:0xf86f5f1d9a594d5a5cff999100e01d03/proofs/lib/lemmas/types/model.Int64 -> @immortal:Bool -> 0xf86f5f1d9a594d5a5cff999100e01d03/proofs/lib/lemmas/types/model.Int64

def deadline source · line 25 · raw

@now:0xf86f5f1d9a594d5a5cff999100e01d03/proofs/lib/lemmas/types/model.Int64 -> @+ns:0xf86f5f1d9a594d5a5cff999100e01d03/proofs/lib/lemmas/types/model.Int64 -> 0xf86f5f1d9a594d5a5cff999100e01d03/proofs/lib/lemmas/types/model.Int64

def le source · line 28 · raw

@a:0xf86f5f1d9a594d5a5cff999100e01d03/proofs/lib/lemmas/types/model.Int64 -> @b:0xf86f5f1d9a594d5a5cff999100e01d03/proofs/lib/lemmas/types/model.Int64 -> Bool

def expired_choose source · line 33 · raw

@d:0xf86f5f1d9a594d5a5cff999100e01d03/proofs/lib/lemmas/types/model.Int64 -> @now:0xf86f5f1d9a594d5a5cff999100e01d03/proofs/lib/lemmas/types/model.Int64 -> @immortal:Bool -> Bool

def expired source · line 40 · raw

@+deadline:0xf86f5f1d9a594d5a5cff999100e01d03/proofs/lib/lemmas/types/model.Int64 -> @now:0xf86f5f1d9a594d5a5cff999100e01d03/proofs/lib/lemmas/types/model.Int64 -> Bool