Module Lang.TypeDecl

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. canonical : Paths.Path.Type.t option;
  4. equation : Equation.t;
  5. representation : Representation.t option;
}