☰
jon.recoil.org
blog
notebooks
projects
reference
Module type
With10.T
With10.T
is a submodule type.
module
M
:
sig
...
end
module
N
:
M.S