Module type B0_def.VALUESource

The type for values to be named.

This just indicates an identifier for the kind of names, how to retreive the VALUE.def value in a value and how to format the names.

Values

Sourcetype t

The type of defined values.

Sourceval def_kind : string

def_kind is the kind of defined value, uncapitalized.

Sourceval def : t -> def

def v is v's definition.

Sourceval pp_name_str : string B0_std.Fmt.t

pp_name_str pretty prints value names.