Module Utils

module Time : sig ... end

Wall-clock timestamp utilities used by the logger.

module Logger : sig ... end

Structured logger with per-component name tags and color-coded levels.

module Profiler : sig ... end

Wall-clock profiler for the four algorithmic phases: TeacherMem, TeacherEq, LearnerEnc, LearnerSolve. on ctx f runs f under ctx, restoring the previous context on exit.

module Odometer : sig ... end

Mixed-radix counter (odometer) for enumerating sequences.