def hit_nat_go

import bend-prot@0.1.0.0/topology.bend as Topology

import Base

9def hit_nat_go(hit: Bool) -> Nat:
10  match hit:
11    case True{}:
12      1n
13    case False{}:
14      0n

Uses (2)