Functor Core_set_intf.Check_S1


module Check_S1: 
functor (M : S1) -> M
Parameters:
M : S1