def Instant.sub

bend-time-lib@0.4.0.1 · instant.bend:146

import bend-time-lib@0.4.0.1/instant.bend as Instant

import Base
import bend-time-lib@0.4.0.1/duration.bend as Dur

146def Instant.sub(
147  i: Instant, d: Dur.Duration
148) -> Result<&2, &2, Instant.Error, Instant>:
149  Instant.of_dur.map(Dur.Duration.sub(Instant.as_dur(i), d))

Uses (7)

Used by (2)