File Structure

An SPL file uses the .sbl extension and contains a sequence of top-level declarations in any order:

type ...
transition ...
agent ...
schema ...
system ...
property ...
pattern ...
rules ...
canonizer ...

All declarations are at the top level. There is no module system or imports — an SPL file is self-contained.