def ping
import bend-osdev-caps@0.1.0.0/check.bend as Checkimport Base
import bend-osdev-caps@0.1.0.0/caps.bend as C
57def ping() -> C.CapFile:
58 C.CapFile{0, False{}, False{}, Some{C.CapFileSets{C.CapSet.of(13), C.CapSet.empty(), True{}}}}
import bend-osdev-caps@0.1.0.0/check.bend as Checkimport Base
import bend-osdev-caps@0.1.0.0/caps.bend as C
57def ping() -> C.CapFile:
58 C.CapFile{0, False{}, False{}, Some{C.CapFileSets{C.CapSet.of(13), C.CapSet.empty(), True{}}}}