Up
Next
Module type
RandLabel.Unit
module type
Unit =
sig
..
end
An empty module type for a parameter to
MakeLabel
and
MakeLabeller
Type of the empty module.