This commit is contained in:
c-cube 2024-04-01 19:51:53 +00:00
parent fef6b55b0c
commit dfdd71e635
2 changed files with 2 additions and 0 deletions

View file

@ -182,6 +182,7 @@ is done.
```ocaml
# #require "moonpool.fib";;
...
# (* convenient alias *)
module F = Moonpool_fib;;

View file

@ -182,6 +182,7 @@ is done.
```ocaml
# #require "moonpool.fib";;
...
# (* convenient alias *)
module F = Moonpool_fib;;