# Automatically generated; edit in Sphinx source code, not here.
module Test;

import spicy;

public type Foo = unit {
    x: int8;
    on %done { print self; }
} &requires = self.x < 5;