Module Beloch.State

Provenance carried on each crease: which axiom produced it, its source inputs, the source span, the bound crease name (if any), and the index of the statement that scored it.

type provenance = {
  1. axiom : string;
  2. sources : string list;
  3. span : Error.span;
  4. name : string option;
  5. stmt : int;
}