FunctorCombo.ZipperReg

type Context t

type Zipper t

up

up'

down