Functor Core_map_intf.Check_S2


module Check_S2: 
functor (M : S2) -> M
Parameters:
M : S2