Module Db.TypexprSource

Sourcetype t =
  1. | Arrow of t * t
  2. | Constr of string * t list
  3. | Tuple of t list
  4. | Poly of string
  5. | Any
  6. | Unhandled
Sourceval tuple : t list -> t
Sourceval size : t -> int
Sourceval show : t -> string
Sourceval equal : t -> t -> bool
Sourceval hash : t -> int