Functor Core_map_intf.Check_S


module Check_S: 
functor (M : S) -> M
Parameters:
M : S