Previous
Up
Next
Module
Int32
module
Int32:
sig
..
end
Extensions to
Core.Core_int32
include
Number.Verified_std