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
= param_desc * variance option
module Equation : sig ... end
type t
=
{
id : Paths.Identifier.Type.t;
doc : Comment.docs;
equation : Equation.t;
representation : Representation.t option;
}