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

import spicy;

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