Previous
Up
Next
Module
Std_kernel.Int_intf
module
Int_intf:
Int_intf
module type
S
=
sig
..
end