diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-04-11 21:54:16 +0200 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-04-11 21:54:16 +0200 |
| commit | e99a8dc48ede26696be2ba75a8cb0d5122d94598 (patch) | |
| tree | c3dcd1d6a9b96aaedd081f13b9dc7e7d6c07e2bd /driver.sig | |
| parent | 8e2dc7712de206b87e1c46df9383c3fa1e18a43a (diff) | |
#include directive
Diffstat (limited to 'driver.sig')
| -rw-r--r-- | driver.sig | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/driver.sig b/driver.sig new file mode 100644 index 0000000..341b090 --- /dev/null +++ b/driver.sig @@ -0,0 +1,3 @@ +signature DRIVER = sig + val exec: unit -> unit +end |