law name_last

bend-osdev-caps@0.1.0.0 · LAWS.bend:233

import Base
import bend-osdev-caps@0.1.0.0/caps.bend as C

233law name_last:
234  {C.Cap.name(40) == Some{"CAP_CHECKPOINT_RESTORE"} : Maybe<&2, String>}