bend-osdev-caps@0.1.0.0

Files (7)

• LAWS.bend40 definitions
• PROOF.bend86 definitions
• adjust.bend19 definitions
• caps.bend108 definitions
• check.bend9 definitions
• exec.bend20 definitions
• package.bend