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;
}