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