Module Template.Row

Generic functions based on row type descriptors.

val equal : 'a Template.Row_type.t -> 'a -> 'a -> bool

equal_value t is the equality predicate for values of row type t.

val pp : 'a Template.Row_type.t -> Format.formatter -> 'a -> unit

pp_value ppf (t, v) prints a human representation of v given the type descriptor t. This function is meant for debugging; the output is neither guaranteed to be consistent across releases nor to contain a complete record of the data.