Module Generic_core_ty.Dynamic

module Dynamic: sig .. end

Dynamic values are the union of all types.

Using type-tagged values allows us to recover the type of the value by pattern matching on the type witness.

type dynamic = 

type dyn = dynamic