package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module G0 : sig ... end
val fulladd2 : Model.t -> Model.f -> Model.f -> Model.f * Model.f
val fulladd3 : Model.t -> Model.f -> Model.f -> Model.f -> Model.f * Model.f
type sized_uint = SUInt.Make(Model).sized_uint = {
  1. arity : int;
  2. array : Model.f array;
}
val map : (Model.f -> Model.f) -> sized_uint -> sized_uint
val add : Model.t -> ?carry:Model.f -> sized_uint -> sized_uint -> sized_uint * Model.f
val shift_right : Model.t -> int -> sized_uint -> sized_uint
val (>>/) : Model.t -> sized_uint -> int -> sized_uint
val shift_left : Model.t -> int -> sized_uint -> sized_uint
val (<</) : Model.t -> sized_uint -> int -> sized_uint
val bitwise_binop : ('a -> Model.f -> Model.f -> Model.f) -> 'a -> sized_uint -> sized_uint -> sized_uint
val (=/) : G0.O.t -> sized_uint -> sized_uint -> G0.O.f
val (<>/) : G0.O.t -> sized_uint -> sized_uint -> G0.O.f
val scalar_binop_left : (Model.t -> Model.f -> Model.f -> Model.f) -> Model.t -> Model.f -> sized_uint -> sized_uint
val scalar_binop_right : (Model.t -> Model.f -> Model.f -> Model.f) -> Model.t -> sized_uint -> Model.f -> sized_uint
val (|.&/) : Model.t -> Model.f -> sized_uint -> sized_uint
val (|.^/) : Model.t -> Model.f -> sized_uint -> sized_uint
val (|.|/) : Model.t -> Model.f -> sized_uint -> sized_uint
val (|.=/) : Model.t -> Model.f -> sized_uint -> sized_uint
val (|.*/) : Model.t -> Model.f -> sized_uint -> sized_uint
val (|&./) : Model.t -> sized_uint -> Model.f -> sized_uint
val (|^./) : Model.t -> sized_uint -> Model.f -> sized_uint
val (||./) : Model.t -> sized_uint -> Model.f -> sized_uint
val (|=./) : Model.t -> sized_uint -> Model.f -> sized_uint
val (|*./) : Model.t -> sized_uint -> Model.f -> sized_uint