module Type_immediacy: Type_immediacytype 'a t
module Always:sig..end
module Sometimes:sig..end
module Never:sig..end
val of_typerep : 'a Typerep_lib.Std.Typerep.t -> 'a t
type 'a dest =
| |
Always of |
| |
Sometimes of |
| |
Never of |
val dest : 'a t -> 'a dest
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 option
val value_as_int_exn : 'a t -> 'a -> int
val value_is_int : 'a t -> 'a -> bool