package coq

  1. Overview
  2. Docs

Module Nsatz_plugin.PolynomSource

Sourcemodule type Coef = sig ... end
Sourcemodule type S = sig ... end
Sourcemodule Make (C : Coef) : S with type coef = C.t