RDF.XSD.Facet.def_facet_constraint
You're seeing just the macro
def_facet_constraint
, go back to RDF.XSD.Facet module for more information.
Macro for the definition of concrete constraining value
for a RDF.XSD.Facet
on a RDF.XSD.Datatype
.