1. Overview
  2. Docs
package odoc
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Field : sig ... end
module Constructor : sig ... end
module Representation : sig ... end
type variance =
  1. | Pos
  2. | Neg
type param_desc =
  1. | Any
  2. | Var of string
type param = {
  1. desc : param_desc;
  2. variance : variance option;
  3. injectivity : bool;
}
module Equation : sig ... end
type t = {
  1. id : Paths.Identifier.Type.t;
  2. doc : Comment.docs;
  3. equation : Equation.t;
  4. representation : Representation.t option;
}