def tzif.size

bend-kit-time@0.3.0.0 · time.bend:631

import Base

631def tzif.size(t8: Bool) -> Nat:
632  match t8:
633    case True{}:
634      8n
635    case False{}:
636      4n