Cubicle 1.1.2 documentation and source : Prover.make_formula

let make_formula_set satom =
  TimeFormula.start ();
  let f = make_formula_set satom in
  TimeFormula.pause ();
  f