Cubicle 1.1.2 documentation and source : Prover.make

let make_formula array =
  TimeFormula.start ();
  let f = make_formula array in
  TimeFormula.pause ();
  f