package ocaml_intrinsics_kernel

You can search for identifiers within the package.

in-package search v0.2.0

ocaml_intrinsics_kernel
- Ocaml_intrinsics_kernel
  - Common
  - Conditional
  - Float
  - Int
  - Int32
  - Int64
  - Naive_ints
    
    Intlike
    
    Make
    
    I
  - Nativeint

Legend:
Library
Module
Module type
Parameter
Class
Class type

val select_value : bool -> 'a -> 'a -> 'a

select_value c a b is equivalent to if c then a else b) where a and b are eagerly evaluated, regardless of the value of c. Compiles to CMOV instruction on amd64 targets. Can be used to avoid branch misprediction when c is data dependent.

val select_int : bool -> int -> int -> int

val select_int64 : bool -> int64 -> int64 -> int64

val select_int32 : bool -> int32 -> int32 -> int32

val select_nativeint : bool -> nativeint -> nativeint -> nativeint