🍃 Logging.v
Environment
Require Import CoqOfOCaml.CoqOfOCaml.
Require Import CoqOfOCaml.Settings.
Require TezosOfOCaml.Environment.Structs.V0.Format.
Inductive level : Set :=
| Debug : level
| Info : level
| Notice : level
| Warning : level
| Error : level
| Fatal : level.
Parameter log : ∀ {a : Set},
level → Pervasives.format4 a Format.formatter unit unit → a.
Parameter log_string : level → string → unit.
Require Import CoqOfOCaml.Settings.
Require TezosOfOCaml.Environment.Structs.V0.Format.
Inductive level : Set :=
| Debug : level
| Info : level
| Notice : level
| Warning : level
| Error : level
| Fatal : level.
Parameter log : ∀ {a : Set},
level → Pervasives.format4 a Format.formatter unit unit → a.
Parameter log_string : level → string → unit.