package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module O : OOPS.MSig

Signature

module O : sig ... end
module Oops : sig ... end
val fulladd2 : O.t -> O.f -> O.f -> O.f * O.f
val fulladd3 : O.t -> O.f -> O.f -> O.f -> O.f * O.f
type uint = {
  1. arity : int;
  2. array : O.f array;
}
val length : uint -> int
val uint_get : O.t -> ?default:O.f -> int -> uint -> O.f
val map : (O.f -> O.f) -> uint -> uint
val uint_of_bool : O.t -> O.f -> uint
val uint_of_int : O.t -> int -> int -> uint
val uint_one : O.t -> int -> uint
val uint_zero : O.t -> int -> uint
val add : O.t -> ?carry:O.f -> uint -> uint -> uint
val (+/) : O.t -> uint -> uint -> uint
val array_add : O.t -> uint array -> uint
val list_add : O.t -> uint list -> uint
val (+?/) : O.t -> uint -> int -> uint
val (?+/) : O.t -> int -> uint -> uint
val shift_right : O.t -> int -> uint -> uint
val (>>/) : O.t -> uint -> int -> uint
val shift_left : O.t -> int -> uint -> uint
val (<</) : O.t -> uint -> int -> uint
val add_3to2 : O.t -> uint -> uint -> uint -> uint * uint
val list_add_3to2 : O.t -> ?arity:int option -> uint list -> uint
val array_add_3to2 : O.t -> ?arity:int option -> uint array -> uint
val bitwise_binop : (O.t -> O.f -> O.f -> O.f) -> O.t -> ?defaultX:O.f -> ?defaultY:O.f -> uint -> uint -> uint
val (|&/) : O.t -> ?defaultX:O.f -> ?defaultY:O.f -> uint -> uint -> uint
val (|^/) : O.t -> ?defaultX:O.f -> ?defaultY:O.f -> uint -> uint -> uint
val (||/) : O.t -> ?defaultX:O.f -> ?defaultY:O.f -> uint -> uint -> uint
val (|=/) : O.t -> ?defaultX:O.f -> ?defaultY:O.f -> uint -> uint -> uint
val (|*/) : O.t -> ?defaultX:O.f -> ?defaultY:O.f -> uint -> uint -> uint
val (=/) : O.t -> uint -> uint -> O.f
val (<>/) : O.t -> uint -> uint -> O.f
val bitwise_choice : O.t -> O.f -> uint -> uint -> uint
val zero_choice : O.t -> O.f -> uint -> uint
val shift_right' : O.t -> uint -> uint -> uint
val (>>//) : O.t -> uint -> uint -> uint
val shift_left' : O.t -> uint -> uint -> uint
val (<<//) : O.t -> uint -> uint -> uint
val card : O.t -> O.f array -> uint
val exp_card : O.t -> int -> O.f array -> uint
val exp_card' : O.t -> int -> O.f array -> uint
val scalar_binop_left : (O.t -> O.f -> O.f -> O.f) -> O.t -> O.f -> uint -> uint
val scalar_binop_right : (O.t -> O.f -> O.f -> O.f) -> O.t -> uint -> O.f -> uint
val (|.&/) : O.t -> O.f -> uint -> uint
val (|.^/) : O.t -> O.f -> uint -> uint
val (|.|/) : O.t -> O.f -> uint -> uint
val (|.=/) : O.t -> O.f -> uint -> uint
val (|.*/) : O.t -> O.f -> uint -> uint
val (|&./) : O.t -> uint -> O.f -> uint
val (|^./) : O.t -> uint -> O.f -> uint
val (||./) : O.t -> uint -> O.f -> uint
val (|=./) : O.t -> uint -> O.f -> uint
val (|*./) : O.t -> uint -> O.f -> uint
val lX : bool -> O.t -> uint -> uint -> O.f
val lt : O.t -> uint -> uint -> O.f
val (</) : O.t -> uint -> uint -> O.f
val le : O.t -> uint -> uint -> O.f
val (<=/) : O.t -> uint -> uint -> O.f
val gX : bool -> O.t -> uint -> uint -> O.f
val gt : O.t -> uint -> uint -> O.f
val ge : O.t -> uint -> uint -> O.f
val copy : O.t -> int -> uint -> uint array
val copy_t : O.t -> int -> uint -> uint array
val input : O.t -> int -> uint
val range : O.t -> int -> uint * O.f
val truncate : O.t -> int -> uint -> uint
val mult_length : int -> int -> int
val mult : O.t -> uint -> uint -> uint
val mult_3to2 : O.t -> uint -> uint -> uint