package lutin

  1. Overview
  2. Docs
type t = {
  1. choose_one_formula : unit -> t * Exp.formula * Prog.ctrl_state;
  2. get_all_formula : unit -> Exp.formula list;
}
exception NoMoreFormula
exception NormalStop of string