diff options
| author | Alejandro W. Sior <aho@sior.be> | 2023-02-10 19:24:23 +0100 |
|---|---|---|
| committer | Alejandro W. Sior <aho@sior.be> | 2023-02-10 19:24:23 +0100 |
| commit | cd25fe0560f746bedad0d16c173deeaa8db6b562 (patch) | |
| tree | bdf0d8991bbf9e51ed93ba4acc452caa54613d43 /bfs/errors.ha | |
Diffstat (limited to 'bfs/errors.ha')
| -rw-r--r-- | bfs/errors.ha | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/bfs/errors.ha b/bfs/errors.ha new file mode 100644 index 0000000..fa5efed --- /dev/null +++ b/bfs/errors.ha @@ -0,0 +1,6 @@ +// Device has no BFS bootsector signature +export type nosignature = !void; + +export type filehole = !void; + +export type error = !(nosignature | filehole); |