package osdp

  1. Overview
  2. Docs
package osdp
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Osdp.PolynomialSource

Multiple variables polynomials.

Sourcemodule type S = sig ... end
Sourcemodule Make (SC : Scalar.S) : S with module Coeff = SC
Sourcemodule Q : S with module Coeff = Scalar.Q
Sourcemodule Float : S with module Coeff = Scalar.Float