export {
  rule,
  rewriteOnce,
  rewriteFixpoint,
  rewriteTrace,
  detectConflicts,
  substitute,
} from "../../packages/oracle/core/src/trs";
export type { Rule, Strategy } from "../../packages/oracle/core/src/trs";
export { matchAST } from "../../packages/oracle/core/src/match";
export { isMeaning, meaning } from "../core/meaning";
export type { MeaningVal, Obligation } from "../core/meaning";
