def tops_new

bend-visgraph@2.0.0.0 · visgraph.bend:607

import Base

607def tops_new(n: Nat) -> Tops:
608  match n:
609    case 0n:
610      TCon{neg_inf(), TNil{}}
611    case 1n+p:
612      TCon{neg_inf(), tops_new(p)}