Theoria.Kernel.EnvironmentCorpus.Case (theoria v0.7.0)

Copy Markdown View Source

Environment corpus case with terms that should normalize under that environment.

Summary

Types

normalize_case()
t()

Types

normalize_case()

@type normalize_case() :: {atom(), Theoria.Term.t()}

t()

@type t() :: %Theoria.Kernel.EnvironmentCorpus.Case{
  env: Theoria.Env.t(),
  name: atom(),
  normalize: [normalize_case()]
}