base_critical

unit

base_critical

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