package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
val argmaxA : Q.t -> Support.t -> puint -> puint
val support : Q.t -> puint -> Support.t
val zero : Q.t -> int -> puint
val of_guard : Q.t -> Q.f -> puint
val of_uint : Q.t -> Vuint.uint -> puint
val (+/) : Q.t -> puint -> puint -> puint
val addl : Q.t -> int -> puint list -> puint
val coproj_proj : Q.t -> Support.t -> puint -> Q.f * puint
val is_trivial : Q.t -> puint -> bool option