Previous
Up
Functor
Hashtbl_intf.Check_S2
module
Check_S2:
functor (
M
:
S2
) ->
M
Parameters:
M
:
S2