[silver:langutil:reflect]

Contents of [silver:langutil:reflect]:

Defined in this grammar:

`function genericPP` (`Document ::= x::a` )

Contained in grammar [silver:langutil:reflect]. Defined at silver/langutil/reflect/Util.sv line 7.

Use reflection to get the pp or unparse of an unknown term, falling back to use the reflective pp.