Source file log.ml

1
2
3
4
5
6
7
8
# 1 "src/core/log.default.ml"
(* default: no logging *)

let info _ = ()
let debug _ = ()
let error _ = ()
let setup ~debug:_ () = ()
let dummy = true