Theoria.Validation.Library (theoria v0.6.0)

Copy Markdown View Source

Validation checks owned by a Theoria library.

Summary

Types

t()

Functions

new(theorem, defeq \\ [], inductive \\ [])

Builds library validation checks.

Types

t()

@type t() :: %Theoria.Validation.Library{
  defeq: [Theoria.Validation.DefeqCheck.t()],
  inductive: [Theoria.Validation.InductiveCheck.t()],
  theorem: Theoria.Validation.TheoremModuleCheck.t()
}

Functions

new(theorem, defeq \\ [], inductive \\ [])

@spec new(Theoria.Validation.TheoremModuleCheck.t(), [term()], [term()]) :: t()

Builds library validation checks.