Previous
Up
Next
Functor
Hash_set_intf.Check_S
module
Check_S:
functor (
M
:
S
) ->
M
Parameters:
M
:
S