DSL.Attribute
Attributes provide a mechanism for attaching metadata to type representations.
val set_random : (Stdlib.Random.State.t -> 'a) -> 'a ty -> 'a ty