Previous
Up
Next
Module type
Sig.IA
module type
IA =
sig
..
end
include
Sig.I
module
Mark
:
sig
..
end