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