Math (sarek.Sarek_stdlib.Math)

val dev : 'a -> 'a -> Spoc_framework.Device_type.t -> 'a

include sig ... end

val xor_device : Spoc_core.Device.t -> string

val xor_device_ref : (Spoc_core.Device.t -> string) Stdlib.ref

val xor : int32 -> int32 -> int32

include sig ... end

val logical_and_device : Spoc_core.Device.t -> string

val logical_and_device_ref : (Spoc_core.Device.t -> string) Stdlib.ref

val logical_and : int32 -> int32 -> int32

include sig ... end

val pow_device : Spoc_core.Device.t -> string

val pow_device_ref : (Spoc_core.Device.t -> string) Stdlib.ref

val pow : int32 -> int32 -> int32