Module Path.Constructor

type t = [
  1. | `Resolved of Resolved.Constructor.t
  2. | `Dot of DataType.t * string
]