# Module Type_immediacy.Always

    module Always: sig .. end

    type 'a t

    val of_typerep : 'a Typerep_lib.Std.Typerep.t -> 'a t option

    val int_as_value : 'a t -> int -> 'a option

    val int_as_value_exn : 'a t -> int -> 'a

    val int_is_value : 'a t -> int -> bool

    val value_as_int : 'a t -> 'a -> int

    module For_all_parameters_S1: functor (X : Typerep_lib.Std.Typerepable.S1) -> sig .. end

    module For_all_parameters_S2: functor (X : Typerep_lib.Std.Typerepable.S2) -> sig .. end

    module For_all_parameters_S3: functor (X : Typerep_lib.Std.Typerepable.S3) -> sig .. end

    module For_all_parameters_S4: functor (X : Typerep_lib.Std.Typerepable.S4) -> sig .. end

    module For_all_parameters_S5: functor (X : Typerep_lib.Std.Typerepable.S5) -> sig .. end

    val int : int t

    val char : char t

    val bool : bool t

    val unit : unit t