Theoria.Validation.TheoremModuleCheck (theoria v0.6.0)

Copy Markdown View Source

A validation check for a Theoria theorem module.

Summary

Types

t()

Functions

new(category, module)

Builds a theorem module validation check.

Types

t()

@type t() :: %Theoria.Validation.TheoremModuleCheck{
  category: atom(),
  module: module()
}

Functions

new(category, module)

@spec new(atom(), module()) :: t()

Builds a theorem module validation check.