@antithesishq/bombadil #

class Always extends Formula {
  boundMillis: number | null;
  subformula: Formula;
  constructor(boundMillis: number | null, subformula: Formula);
  within(n: number, unit: TimeUnit): Formula;
  toString(): string;
}

class And extends Formula {
  left: Formula;
  right: Formula;
  constructor(left: Formula, right: Formula);
  toString(): string;
}

class Eventually extends Formula {
  boundMillis: number | null;
  subformula: Formula;
  constructor(boundMillis: number | null, subformula: Formula);
  within(n: number, unit: TimeUnit): Formula;
  toString(): string;
}

class Formula {
  not(): Formula;
  and(that: IntoFormula): Formula;
  or(that: IntoFormula): Formula;
  implies(that: IntoFormula): Formula;
}

class Implies extends Formula {
  left: Formula;
  right: Formula;
  constructor(left: Formula, right: Formula);
  toString(): string;
}

class Next extends Formula {
  subformula: Formula;
  constructor(subformula: Formula);
  toString(): string;
}

class Not extends Formula {
  subformula: Formula;
  constructor(subformula: Formula);
  toString(): string;
}

class Or extends Formula {
  left: Formula;
  right: Formula;
  constructor(left: Formula, right: Formula);
}

class Pure extends Formula {
  private pretty;
  value: boolean;
  constructor(pretty: string, value: boolean);
  toString(): string;
}

class Thunk extends Formula {
  private pretty;
  apply: () => Formula;
  constructor(pretty: string, apply: () => Formula);
  toString(): string;
}

function actions<A>(generate: () => Tree<A> | A[]): ActionGenerator<A>;

function always(x: IntoFormula): Always;

function eventually(x: IntoFormula): Eventually;

function extract<
  S,
  T extends JSON
>(query: (state: S) => T): ExtractorCell<T, S>;

function next(x: IntoFormula): Formula;

function not(value: IntoFormula): Not;

function now(x: IntoFormula): Formula;

function weighted<A>(value: [number, A | ActionGenerator<A>][]): ActionGenerator<A>;

export { Cell, JSON } from "@antithesishq/bombadil/internal";

export { ActionGenerator, Tree } from "@antithesishq/bombadil/actions";