Module Posix_math_constants

module Def (S : Cstubs.Types.TYPE) : sig ... end