Module type Int_intf.Stable