null_critical

unit

null_critical

unit null_critical = {
imports[];
exports[
out : Critical_T
];
...
}