And groups predicates with the AND operator between them.

Content applies equality check predicate on the "content" field.

ContentContains applies the Contains predicate on the "content" field.

ContentContainsFold applies the ContainsFold predicate on the "content" field.

ContentEQ applies the EQ predicate on the "content" field.

ContentEqualFold applies the EqualFold predicate on the "content" field.

ContentGT applies the GT predicate on the "content" field.

ContentGTE applies the GTE predicate on the "content" field.

ContentHasPrefix applies the HasPrefix predicate on the "content" field.

ContentHasSuffix applies the HasSuffix predicate on the "content" field.

ContentIn applies the In predicate on the "content" field.

ContentLT applies the LT predicate on the "content" field.

ContentLTE applies the LTE predicate on the "content" field.

ContentNEQ applies the NEQ predicate on the "content" field.

ContentNotIn applies the NotIn predicate on the "content" field.

CreateTime applies equality check predicate on the "create_time" field.

CreateTimeEQ applies the EQ predicate on the "create_time" field.

CreateTimeGT applies the GT predicate on the "create_time" field.

CreateTimeGTE applies the GTE predicate on the "create_time" field.

CreateTimeIn applies the In predicate on the "create_time" field.

CreateTimeLT applies the LT predicate on the "create_time" field.

CreateTimeLTE applies the LTE predicate on the "create_time" field.

CreateTimeNEQ applies the NEQ predicate on the "create_time" field.

CreateTimeNotIn applies the NotIn predicate on the "create_time" field.

HasChallenge applies the HasEdge predicate on the "challenge" edge.

HasChallengeWith applies the HasEdge predicate on the "challenge" edge with a given conditions (other predicates).

ID filters vertices based on their ID field.

IDEQ applies the EQ predicate on the ID field.

IDGT applies the GT predicate on the ID field.

IDGTE applies the GTE predicate on the ID field.

IDIn applies the In predicate on the ID field.

IDLT applies the LT predicate on the ID field.

IDLTE applies the LTE predicate on the ID field.

IDNEQ applies the NEQ predicate on the ID field.

IDNotIn applies the NotIn predicate on the ID field.

Link applies equality check predicate on the "link" field.

LinkContains applies the Contains predicate on the "link" field.

LinkContainsFold applies the ContainsFold predicate on the "link" field.

LinkEQ applies the EQ predicate on the "link" field.

LinkEqualFold applies the EqualFold predicate on the "link" field.

LinkGT applies the GT predicate on the "link" field.

LinkGTE applies the GTE predicate on the "link" field.

LinkHasPrefix applies the HasPrefix predicate on the "link" field.

LinkHasSuffix applies the HasSuffix predicate on the "link" field.

LinkIn applies the In predicate on the "link" field.

LinkLT applies the LT predicate on the "link" field.

LinkLTE applies the LTE predicate on the "link" field.

LinkNEQ applies the NEQ predicate on the "link" field.

LinkNotIn applies the NotIn predicate on the "link" field.

MetaIsNil applies the IsNil predicate on the "meta" field.

MetaNotNil applies the NotNil predicate on the "meta" field.

Not applies the not operator on the given predicate.

Or groups predicates with the OR operator between them.

UpdateTime applies equality check predicate on the "update_time" field.

UpdateTimeEQ applies the EQ predicate on the "update_time" field.

UpdateTimeGT applies the GT predicate on the "update_time" field.

UpdateTimeGTE applies the GTE predicate on the "update_time" field.

UpdateTimeIn applies the In predicate on the "update_time" field.

UpdateTimeLT applies the LT predicate on the "update_time" field.

UpdateTimeLTE applies the LTE predicate on the "update_time" field.

UpdateTimeNEQ applies the NEQ predicate on the "update_time" field.

UpdateTimeNotIn applies the NotIn predicate on the "update_time" field.

ValidColumn reports if the column name is valid (part of the table columns).

ChallengeColumn is the table column denoting the challenge relation/edge.

ChallengeInverseTable is the table name for the Challenge entity.

ChallengeTable is the table that holds the challenge relation/edge.

EdgeChallenge holds the string denoting the challenge edge name in mutations.

FieldContent holds the string denoting the content field in the database.

FieldCreateTime holds the string denoting the create_time field in the database.

FieldID holds the string denoting the id field in the database.

FieldLink holds the string denoting the link field in the database.

FieldMeta holds the string denoting the meta field in the database.

FieldUpdateTime holds the string denoting the update_time field in the database.

Label holds the string label denoting the proof type in the database.

Table holds the table name of the proof in the database.

Columns holds all SQL columns for proof fields.

ContentValidator is a validator for the "content" field.

DefaultCreateTime holds the default value on creation for the "create_time" field.

DefaultID holds the default value on creation for the "id" field.

DefaultUpdateTime holds the default value on creation for the "update_time" field.

ForeignKeys holds the SQL foreign-keys that are owned by the "proofs" table and are not defined as standalone fields in the schema.

UpdateDefaultUpdateTime holds the default value on update for the "update_time" field.