Previous
Up
Next
Module
Int_intf
module
Int_intf:
sig
..
end
include
Core_kernel.Int_intf