def ph_end

cli@0.2.0.0 · cli.bend:7383

import Base

7383def ph_end(s: String) -> Nat:
7384  match s:
7385    case SNil{}: 0n
7386    case SCon{Chr{62}, tail}: 0n
7387    case SCon{head, tail}: 1n+ph_end(tail)