Module Generic_core_ty.Typed

module Typed: sig .. end
Values tagged with their type witness.

type 'a typed = 'a Generic_core_ty.ty * 'a