Module Odoc_model__Lang.TypeDecl
module Field : sig ... end
module Constructor : sig ... end
module Representation : sig ... end
type variance
=
|
Pos
|
Neg
type param_desc
=
|
Any
|
Var of string
type param
=
{
desc : param_desc;
variance : variance option;
injectivity : bool;
}
module Equation : sig ... end
type t
=
{
id : Odoc_model.Paths.Identifier.Type.t;
doc : Odoc_model.Comment.docs;
equation : Equation.t;
representation : Representation.t option;
}