pub fn type_detail_lines(spec: &TypeSpecification) -> Vec<String>Expand description
Produce a human-readable summary of type constraints, or None when there
are no constraints worth showing (e.g. bare boolean).
Returns one formatted string per constraint or property of the type specification.
Uses rational_to_display_str for all rational bounds so they render as decimals,
not as raw fractions.