1 2 3 4 5
(* SPDX-License-Identifier: AGPL-3.0-or-later *) (* Copyright © 2021-2026 OCamlPro *) (* Written by the Owi programmers *) include Smtml.Typed.Bool