package smtml

You can search for identifiers within the package.

in-package search v0.2.0

Source file `log.ml`

1
2
3
4
5
6
7
(* SPDX-License-Identifier: MIT *)
(* Copyright (C) 2023-2024 formalsec *)
(* Written by the Smtml programmers *)

let src = Logs.Src.create "smtml"

include (val Logs.src_log src)