Module `Lang.TypeDecl`Source

module Field : sig ... end

module UnboxedField : sig ... end

module Constructor : sig ... end

module Representation : sig ... end

type variance =

| Pos
| Neg
| Bivariant

type param_desc =

| Any
| Var of string * string option
(*
name, jkind (e.g. Some "float64")
*)

type param = {

desc : Odoc_model.Lang.TypeDecl.param_desc;
variance : Odoc_model.Lang.TypeDecl.variance option;
injectivity : bool;

}

module Equation : sig ... end

type t = {

id : Odoc_model.Paths.Identifier.Type.t;
source_loc : Odoc_model.Paths.Identifier.SourceLocation.t option;
source_loc_jane : Odoc_model.Lang.Source_loc_jane.t option;
doc : Odoc_model.Comment.docs;
canonical : Odoc_model.Paths.Path.Type.t option;
equation : Odoc_model.Lang.TypeDecl.Equation.t;
representation : Odoc_model.Lang.TypeDecl.Representation.t option;

}