Module Constrained_float

module Constrained_float: sig .. end

include Core_kernel.Constrained_float