diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/extensions.ml | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/lib/extensions.ml b/lib/extensions.ml deleted file mode 100644 index c128f2a..0000000 --- a/lib/extensions.ml +++ /dev/null @@ -1,7 +0,0 @@ -module Option = struct - let ( let+ ) = Option.bind -end - -module Result = struct - let ( let+ ) = Result.bind -end |