package smtml
Source file log.ml
1 2 3 4 5 6 7(* SPDX-License-Identifier: MIT *) (* Copyright (C) 2023-2026 formalsec *) (* Written by the Smtml programmers *) let src = Logs.Src.create "smtml" include (val Logs.src_log src)
log.ml1 2 3 4 5 6 7(* SPDX-License-Identifier: MIT *) (* Copyright (C) 2023-2026 formalsec *) (* Written by the Smtml programmers *) let src = Logs.Src.create "smtml" include (val Logs.src_log src)