Module value 

Evaluation of value types test(τ) and the term ordering used by sh:lessThan, ranges, etc. Naive reference semantics.

Functions

compare_terms

Partial ordering over terms: numeric literals compare numerically, string-typed literals lexicographically, and the XSD date/time/duration family via their oxsdatatypes implementations (which correctly model the partial order for timezone-unaware comparisons and incomparable durations).

value_type_holds

Does term satisfy value type τ?