Module 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 : Paths.Identifier.Type.t;
doc : Comment.docs;
equation : Equation.t;
representation : Representation.t option;
}