diff options
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); |