Assertion: variable's type | /r/HasProperty | printed by the interpreter
Facets:
value: on the second line
type: LOCATION
Source sentences:
text: For example, the following OCaml code defines a polymorphic identity function that has a universally quantified type, which is printed by the interpreter on the second line: