Theoria.Term.Application (theoria v0.7.0)

Copy Markdown View Source

Helpers for application terms.

Summary

Functions

collect(term)

Functions

collect(term)

@spec collect(Theoria.Term.t()) :: {Theoria.Term.t(), [Theoria.Term.t()]}