# `ShotDs.Hol.Patterns`
[🔗](https://github.com/jcschuster/ShotDs/blob/v1.0.0/lib/shot_ds/hol/patterns.ex#L1)

Contains various macros for pattern matching on HOL terms.

# `conjunction`
*macro* 

Matches a term representing the conjunction of `p_id` and `q_id`.

# `disjunction`
*macro* 

Matches a term representing the disjunction of `p_id` and `q_id`.

# `equality`
*macro* 

Matches a term representing the equality of `p_id` and `q_id`.

# `equivalence`
*macro* 

Matches a term representing the equivalence of `p_id` and `q_id`.

# `existential_quantification`
*macro* 

Matches a term representing the universal quantification of the predicate
`body_id`.

# `falsity`
*macro* 

Matches a term representing falsity.

# `implication`
*macro* 

Matches a term representing the implication of `p_id` and `q_id`, i.e. `p`
implies `q`.

# `negated`
*macro* 

Matches a term representing the negation of `term_id`.

# `truth`
*macro* 

Matches a term representing truth.

# `typed_equality`
*macro* 

Matches a term representing the equality of `p_id` and `q_id` with respect to
their type.

# `typed_existential_quantification`
*macro* 

Matches a term representing the universal quantification of the predicate
`body_id` with respect to the element type `type`.

# `typed_universal_quantification`
*macro* 

Matches a term representing the universal quantification of the predicate
`body_id` with respect to the element type `type`.

# `universal_quantification`
*macro* 

Matches a term representing the universal quantification of the predicate
`body_id`.

---

*Consult [api-reference.md](api-reference.md) for complete listing*