(* * SPDX-FileCopyrightText: 2024 The Forester Project Contributors * SPDX-FileCopyrightText: 2026 The Forester Project Contributors * * SPDX-License-Identifier: GPL-3.0-or-later *) type eval_mode = Text_mode | TeX_mode [@@deriving show] type binding_info = Strict | Lazy [@@deriving show] type 'a binding = binding_info * 'a [@@deriving show] type delim = Braces | Squares | Parens [@@deriving show] let delim_to_strings = function | Braces -> ("{", "}") | Squares -> ("[", "]") | Parens -> ("(", ")") type math_mode = Inline | Display [@@deriving show, yojson] type visibility = Private | Public [@@deriving show] type identity = Anonymous | URI of URI.t [@@deriving show] let identity_to_uri = function URI uri -> Some uri | Anonymous -> None type mode = Publish | Preview