import { Path } from "../lookup/paths.js";
import { AnyArgumentation, Certainty } from "../model/Assumption.js";
import { EditionOp } from "./draft.js";
/**
 * Annotates the assumption at the path with a belief held true, for reasons to be added.
 * @category Operations
 */
export declare const createBelief: (path: Path) => EditionOp;
/**
 * Takes the belief off the assumption at the path, which leaves the
 * statement stated plainly.
 * @category Operations
 */
export declare const clearBelief: (path: Path) => EditionOp;
/**
 * Sets the certainty the belief on the assumption at the path is held
 * with.
 * @category Operations
 */
export declare const setCertainty: (path: Path, certainty: Certainty) => EditionOp;
/**
 * Adds a reason to the belief on the assumption at the path.
 * @category Operations
 */
export declare const addReason: (path: Path, reason: AnyArgumentation) => EditionOp;
/**
 * Takes the reason at the index off the belief on the assumption at the
 * path.
 * @category Operations
 */
export declare const removeReason: (path: Path, index: number) => EditionOp;