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;

canonical : Paths.Path.Type.t option;

equation : Equation.t;

representation : Representation.t option;

}