Cubicle 1.1.2 documentation and source : Cubetrie.mem

let mem c t =
  TimerSubset.start ();
  let res = mem c t in
  TimerSubset.pause ();
  res