Module type Dyn.ValueS

type 'a t