Types.Mem: type of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/policy/types.bend as Types
Lines 88-91 of cswap-bend-cli@0.1.0.0/policy/types.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/policy/types.bend&start_line=88&end_line=91

import Base

# The engine's in-memory counters: consecutive unhealthy ticks, and when the
# idle hold for an expired token began. `Mem{0n, None{}}` is a fresh process.
type Mem is Data:
  Mem{unhealthy: Nat, idle_since: Maybe<&2, Nat>}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat