☰
jon.recoil.org
blog
notebooks
projects
reference
Module
Flambda2_numbers.One_bit_fewer
module
type
S
=
sig
...
end
module
Make
(
I
:
S
) :
S
with
type
t
=
I.t