Module Random.Size

Sizing factor alteration.

The Fun.Generic.random function consults this key in the metadata of a gist g to determine the sizing factor for generating a value described by the gist.

type 'a t = int
type 'a meta := 'a Type.Gist.Meta.t
val mem : 'a meta -> bool

mem m is true iff m has a binding for the key.

val add : 'a t -> 'a meta -> 'a meta

add v m is m with the key bound to v

val find : 'a meta -> 'a t option

find m is the binding for the key (if any).

val remove : 'a meta -> 'a meta

remove m is m with the binding for the key removed (if bound).