Apriori.Modus.Quaestio.Negatum (apriori v0.1.0)

View Source

Negatum — negative answer to a quaestio: an explicit absence represented by Absentia.

Use when the requested entity/knowledge is not found or intentionally withheld. Keeps absence first-class (structured) rather than ad-hoc nil/tuples.

Summary

Types

t()

Types

t()

@type t() :: %Apriori.Modus.Quaestio.Negatum{
  causa: Apriori.Forma.Absentia.t(),
  signa: Apriori.Phaenomenon.signa()
}