Previous
Up
Next
Module
Extended_int63
module
Extended_int63:
sig
..
end
Extensions to
Core.Core_int63
include
Number.Verified_std