package hardcaml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val x_lut : LutEqn.t -> Signal.t -> Signal.t
val x_and : Signal.t -> Signal.t -> Signal.t
val x_or : Signal.t -> Signal.t -> Signal.t
val x_xor : Signal.t -> Signal.t -> Signal.t
val x_not : Signal.t -> Signal.t
val x_reduce_carry : Base.Bool.t -> (LutEqn.t -> LutEqn.t -> LutEqn.t) -> Signal.t -> Signal.t -> Signal.t -> Signal.t
val x_and_reduce : Signal.t -> Signal.t
val x_or_reduce : Signal.t -> Signal.t
val x_reduce_tree : (LutEqn.t -> LutEqn.t -> LutEqn.t) -> Signal.t -> Signal.t
val x_add_carry : LutEqn.t -> Signal.t -> Signal.t -> Signal.t -> Signal.t * Signal.t
val x_add : Signal.t -> Signal.t -> Signal.t
val x_sub : Signal.t -> Signal.t -> Signal.t
val x_mux_add_carry : LutEqn.t -> Signal.t -> Signal.t -> (Signal.t * Signal.t) -> Signal.t -> Signal.t * Signal.t
val x_mux_add : Signal.t -> (Signal.t * Signal.t) -> Signal.t -> Signal.t

x_mux_add x (a, a') b gives (x ? a : a') + b

val x_mux_sub : Signal.t -> Signal.t -> (Signal.t * Signal.t) -> Signal.t

x_mux_sub x a (b, b') gives a - (x ? b : b')

val x_eq : Signal.t -> Signal.t -> Signal.t
val x_lt : Signal.t -> Signal.t -> Signal.t
val x_mulu : Signal.t -> Signal.t -> Signal.t
val x_muls : Signal.t -> Signal.t -> Signal.t