CodeptLog.ml
MlFront_Codept
1 2 3 4 5 let src = Logs.Src.create "codept" ~doc:"logs MlFront's codept events" include (val Logs.src_log src : Logs.LOG) let debug_solver = ref false
1 2 3 4 5
let src = Logs.Src.create "codept" ~doc:"logs MlFront's codept events" include (val Logs.src_log src : Logs.LOG) let debug_solver = ref false