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.
Link to this macro

def_facet_constraint(facet, value)

View Source (macro)

Macro for the definition of concrete constraining value for a RDF.XSD.Facet on a RDF.XSD.Datatype.