Snowflake 0.02.02 · OCaml Package

val fulladd2 : MlbddUtils.f -> MlbddUtils.f -> MlbddUtils.f * MlbddUtils.f

val fulladd3 : 
  MlbddUtils.f ->
  MlbddUtils.f ->
  MlbddUtils.f ->
  MlbddUtils.f * MlbddUtils.f

type uint = MlbddUtils.f array

val uint_get : 
  MlbddUtils.t ->
  ?default:MlbddUtils.f ->
  int ->
  uint ->
  MlbddUtils.f

val uint_of_bool : MlbddUtils.f -> uint

val uint_of_int : MlbddUtils.t -> int -> uint

val uint_one : MlbddUtils.t -> uint

val add : MlbddUtils.t -> ?carry:MlbddUtils.f -> uint -> uint -> uint

val (+/) : MlbddUtils.t -> uint -> uint -> uint

val array_add : MlbddUtils.t -> uint array -> uint

val list_add : MlbddUtils.t -> uint list -> uint

val (+?/) : MlbddUtils.t -> uint -> int -> uint

val (?+/) : MlbddUtils.t -> int -> uint -> uint

val shift_right : MlbddUtils.t -> int -> uint -> uint

val (>>/) : MlbddUtils.t -> uint -> int -> uint

val shift_left : MlbddUtils.t -> int -> uint -> uint

val (<</) : MlbddUtils.t -> uint -> int -> uint

val bitwise_binop : 
  (MlbddUtils.f -> MlbddUtils.f -> MlbddUtils.f) ->
  MlbddUtils.t ->
  ?defaultX:MlbddUtils.f ->
  ?defaultY:MlbddUtils.f ->
  uint ->
  uint ->
  uint

val (|&/) : MlbddUtils.t -> uint -> uint -> uint

val (|^/) : MlbddUtils.t -> uint -> uint -> uint

val (||/) : MlbddUtils.t -> uint -> uint -> uint

val (|=/) : MlbddUtils.t -> uint -> uint -> uint

val bitwise_choice : MlbddUtils.t -> MlbddUtils.f -> uint -> uint -> uint

val zero_choice : MlbddUtils.t -> MlbddUtils.f -> uint -> uint

val shift_right' : MlbddUtils.t -> uint -> uint -> uint

val (>>//) : MlbddUtils.t -> uint -> uint -> uint

val shift_left' : MlbddUtils.t -> uint -> uint -> uint

val (<<//) : MlbddUtils.t -> uint -> uint -> uint

val card : MlbddUtils.t -> MlbddUtils.f array -> uint

val exp_card : MlbddUtils.t -> MlbddUtils.f array -> uint

val scalar_binop_left : 
  (MlbddUtils.f -> MlbddUtils.f -> MlbddUtils.f) ->
  MlbddUtils.f ->
  uint ->
  uint

val scalar_binop_right : 
  (MlbddUtils.f -> MlbddUtils.f -> MlbddUtils.f) ->
  uint ->
  MlbddUtils.f ->
  uint

val (|.&/) : MlbddUtils.f -> uint -> uint

val (|.^/) : MlbddUtils.f -> uint -> uint

val (|.|/) : MlbddUtils.f -> uint -> uint

val (|.=/) : MlbddUtils.f -> uint -> uint

val (|&./) : uint -> MlbddUtils.f -> uint

val (|^./) : uint -> MlbddUtils.f -> uint

val (||./) : uint -> MlbddUtils.f -> uint

val (|=./) : uint -> MlbddUtils.f -> uint

val lX : bool -> MlbddUtils.t -> uint -> uint -> MlbddUtils.f

val gX : bool -> MlbddUtils.t -> uint -> uint -> MlbddUtils.f

val lt : MlbddUtils.t -> uint -> uint -> MlbddUtils.f

val (</) : MlbddUtils.t -> uint -> uint -> MlbddUtils.f

val le : MlbddUtils.t -> uint -> uint -> MlbddUtils.f

val (<=/) : MlbddUtils.t -> uint -> uint -> MlbddUtils.f

val gt : MlbddUtils.t -> uint -> uint -> MlbddUtils.f

val (>/) : MlbddUtils.t -> uint -> uint -> MlbddUtils.f

val ge : MlbddUtils.t -> uint -> uint -> MlbddUtils.f

val (>=/) : MlbddUtils.t -> uint -> uint -> MlbddUtils.f

val argmax : MlbddUtils.f -> MLBDD.support -> uint -> MlbddUtils.f * uint

type puint = MlbddUtils.f * uint

module P : sig ... end

package Snowflake