BOAL Documentation

🧠 BO42 Syntax

BO42 uses structured execution blocks:

Basic Structure
ce {
    ci compute {
        attr x = valid;
        attr y = verified;
    }
}
  
Key Components