Utilsmodule Time : sig ... endWall-clock timestamp utilities used by the logger.
module Logger : sig ... endStructured logger with per-component name tags and color-coded levels.
module Profiler : sig ... endWall-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 ... endMixed-radix counter (odometer) for enumerating sequences.