You can search for identifiers within the package.
in-package search v0.2.0
codex.terms
Terms.Relations
module type GROUP_ACTION = sig ... end
Computes the action of a group of relation on some numeric values
module Equality : sig ... end
The simplest relation: strict equality y = x between variables
y = x
module Additive : sig ... end
Simple additive relation: y = delta*x + b where delta is +/- 1 (indicated by a boolean with true -> positive)
y = delta*x + b
delta
module XOR_Rotate : sig ... end
module LinearTwoVarEquality : sig ... end