Module Constrained_float

module Constrained_float: sig .. end

module type S = sig .. end