Previous
Up
Functor
Core_set_intf.Check_S1
module
Check_S1:
functor (
M
:
S1
) ->
M
Parameters:
M
:
S1