package DAGaml

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

Parameters

module Q : AQEOPS.MSig

Signature

module Q : sig ... end
module Vuint : sig ... end
module Aqeops : sig ... end
val argmaxA_uint : Q.t -> Q.f -> Support.t -> Vuint.uint -> Q.f * Vuint.uint
type puint = Q.f * Vuint.uint
module P : sig ... end