Theoria.Kernel.Differential.Options (theoria v0.6.0)

Structured options for kernel differential assurance runs.

Experimental in the 0.6 line; the shape may change before 1.0.

Summary

t()

default()

parse(options)

@type t() :: %Theoria.Kernel.Differential.Options{
  generated_max_terms: pos_integer(),
  generated_size: non_neg_integer()
}

@spec default() :: t()

@spec parse(keyword() | t()) :: {:ok, t()} | {:error, term()}