Make.V
type t
The type of defined values.
val def_kind : string
def_kind is the kind of defined value, uncapitalized.
def_kind
val def : t -> def
def v is v's definition.
def v
v
val pp_name_str : string B0_std.Fmt.t
pp_name_str pretty prints value names.
pp_name_str