Module type B0.Def.DEFINED

module type DEFINED = sig .. end
The base module type for defined values.

This module allows to configure how names are handled for a given type.


type t 
The type for defined values.
val def_kind : string
def_kind is an uncapitalized string used in user interface to stand for the kind of defined values.
val def_get : t -> B0.Def.def
def_get v is v's definition.
val def_namespaced : bool
def_namespaced is true iff definition names are namespaced.
val def_name_tty_color : B0.Tty.color
def_name_tty_color is a tty color to render the value's names.
val def_pp_info : t B0.Fmt.t
def_pp_info ppf v is the value field printing function use to derive B0.Def.S.pp_info.