Source file `Forester_prelude.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
(*
 * SPDX-FileCopyrightText: 2024 The Forester Project Contributors
 *
 * SPDX-License-Identifier: GPL-3.0-or-later
 *)

(** Various utility functions.*)

include Fun_util
include Bwd

module String_util = String_util
module Option_util = Option_util
module List_util = List_util
module BaseN = BaseN
module Compare = Compare