From 89cd528129cb0e20e0053083f324a2cd147fc715 Mon Sep 17 00:00:00 2001 From: "Dmitrii.Kosarev a.k.a. Kakadu" Date: Fri, 31 Jan 2025 16:35:43 +0300 Subject: [PATCH] [chore] Update copyright years Signed-off-by: Dmitrii.Kosarev a.k.a. Kakadu --- camlp5/pa_ocanren.ml | 2 +- camlp5/pa_ocanren.mli | 7 ------- ppx/fresh/ppx_fresh.ml | 2 +- ppx/reify/deriving_reify.ml | 2 +- ppx/reify/ppx_meta_lident.ml | 2 +- ppx/reify/reify_impl.ml | 2 +- ppx/repr/ppx_repr.ml | 2 +- samples/JeepProblem.ml | 2 +- samples/Sorting.ml | 2 +- samples/WGC.ml | 18 +++--------------- samples/tree.ml | 2 +- src/OCanren.ml | 2 +- src/core/Core.ml | 2 +- src/core/Core.mli | 2 +- src/core/Disequality.ml | 2 +- src/core/Disequality.mli | 2 +- src/core/Env.ml | 2 +- src/core/Env.mli | 2 +- src/core/Logic.ml | 2 +- src/core/Logic.mli | 2 +- src/core/Peep.ml | 2 +- src/core/Peep.mli | 2 +- src/core/Runconf.ml | 2 +- src/core/Runconf.mli | 6 +++--- src/core/Stream.ml | 2 +- src/core/Stream.mli | 2 +- src/core/Subst.ml | 2 +- src/core/Subst.mli | 2 +- src/core/Term.ml | 2 +- src/core/Term.mli | 2 +- src/core/Timer.ml | 2 +- src/core/Timer.mli | 2 +- src/std/Bool.ml | 2 +- src/std/Bool.mli | 6 +++--- src/std/List.ml | 2 +- src/std/List.mli | 2 +- src/std/Nat.ml | 2 +- src/std/Option.ml | 2 +- src/std/Option.mli | 2 +- src/std/Pair.ml | 2 +- src/std/Pair.mli | 6 +++--- src/std/Triple.ml | 2 +- src/std/Triple.mli | 2 +- 43 files changed, 50 insertions(+), 69 deletions(-) diff --git a/camlp5/pa_ocanren.ml b/camlp5/pa_ocanren.ml index b72242be3..e76cdc710 100644 --- a/camlp5/pa_ocanren.ml +++ b/camlp5/pa_ocanren.ml @@ -1,7 +1,7 @@ (* * pa_ocanren: a camlp5 extension to implement syntax-level * miniKanren constructs. - * Copyright (C) 2015-2024 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, St.Petersburg State University * * This software is free software; you can redistribute it and/or diff --git a/camlp5/pa_ocanren.mli b/camlp5/pa_ocanren.mli index fc49ed85f..fd7f40a1b 100644 --- a/camlp5/pa_ocanren.mli +++ b/camlp5/pa_ocanren.mli @@ -1,10 +1,3 @@ (** Camlp5 syntax extension for {!OCanren}. *) (** Documentation: TODO *) - -(** This function is not really requried. By some reason compilation crashed without it. - An issue in pa_ppx? - - https://github.com/chetmurthy/pa_ppx/issues/3 - *) -val fold_right1 : ('a -> 'a -> 'a) -> 'a list -> 'a diff --git a/ppx/fresh/ppx_fresh.ml b/ppx/fresh/ppx_fresh.ml index 21c1ef7be..855da9aa0 100644 --- a/ppx/fresh/ppx_fresh.ml +++ b/ppx/fresh/ppx_fresh.ml @@ -1,6 +1,6 @@ (* * OCanren. PPX suntax extensions. - * Copyright (C) 2015-2024 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/ppx/reify/deriving_reify.ml b/ppx/reify/deriving_reify.ml index b9cc251ce..23d64ff96 100644 --- a/ppx/reify/deriving_reify.ml +++ b/ppx/reify/deriving_reify.ml @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * OCanren. PPX syntax extensions. - * Copyright (C) 2015-2024 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/ppx/reify/ppx_meta_lident.ml b/ppx/reify/ppx_meta_lident.ml index 4383912da..cffa4d818 100644 --- a/ppx/reify/ppx_meta_lident.ml +++ b/ppx/reify/ppx_meta_lident.ml @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * OCanren. PPX syntax extensions. - * Copyright (C) 2015-2024 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/ppx/reify/reify_impl.ml b/ppx/reify/reify_impl.ml index 8b4773063..ab35cc51d 100644 --- a/ppx/reify/reify_impl.ml +++ b/ppx/reify/reify_impl.ml @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * OCanren. PPX syntax extensions. - * Copyright (C) 2015-2024 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/ppx/repr/ppx_repr.ml b/ppx/repr/ppx_repr.ml index 386d67ea9..73ad0dd13 100644 --- a/ppx/repr/ppx_repr.ml +++ b/ppx/repr/ppx_repr.ml @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * OCanren. PPX suntax extensions. - * Copyright (C) 2015-2024 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/samples/JeepProblem.ml b/samples/JeepProblem.ml index 57afc5301..ac92fc509 100644 --- a/samples/JeepProblem.ml +++ b/samples/JeepProblem.ml @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * "Jeep Problem" (https://en.wikipedia.org/wiki/Jeep_problem) - * Copyright (C) 2016-2022 + * Copyright (C) 2016-2025 * Dmitri Boulytchev, Peter Lozov * St.Petersburg State University, JetBrains Research * diff --git a/samples/Sorting.ml b/samples/Sorting.ml index e68d88602..c5184b842 100644 --- a/samples/Sorting.ml +++ b/samples/Sorting.ml @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * Sort: relational sorting. - * Copyright (C) 2016-2022 + * Copyright (C) 2016-2025 * Dmitri Boulytchev, Dmitrii Kosarev * St.Petersburg State University, JetBrains Research * diff --git a/samples/WGC.ml b/samples/WGC.ml index cf92b0b6e..69bcc0f27 100644 --- a/samples/WGC.ml +++ b/samples/WGC.ml @@ -1,4 +1,5 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) + open GT module L = List @@ -73,21 +74,8 @@ let rec eval state moves state' = ) ] - -(* module T1 = struct - [%% distrib - type nonrec t = A [@@deriving gt ~options:{gmap}] - type ground = t] -end - -module T2 = struct - [%%distrib - type nonrec 'a t = B of 'a [@@deriving gt ~options:{gmap}] - type ground = T1.ground t ] -end *) - -ocanren type state = (GT.bool * GT.bool * GT.bool * GT.bool) * (GT.bool * GT.bool * GT.bool * GT.bool);; -(* type solution = move logic Std.List.logic [@@deriving gt ~options:{show}] *) +ocanren type state = + (GT.bool * GT.bool * GT.bool * GT.bool) * (GT.bool * GT.bool * GT.bool * GT.bool);; ocanren type solution = move Std.List.ground let _ = diff --git a/samples/tree.ml b/samples/tree.ml index 958a2ba57..5d77088f8 100644 --- a/samples/tree.ml +++ b/samples/tree.ml @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * Tree: binary search tree. - * Copyright (C) 2022-2023 + * Copyright (C) 2022-2025 * Dmitri Boulytchev, Dmitrii Kosarev * St.Petersburg State University, JetBrains Research * diff --git a/src/OCanren.ml b/src/OCanren.ml index d3f8f7784..12221e211 100644 --- a/src/OCanren.ml +++ b/src/OCanren.ml @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * OCanren. - * Copyright (C) 2015-2024 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/src/core/Core.ml b/src/core/Core.ml index 954cbde3a..a6f777350 100644 --- a/src/core/Core.ml +++ b/src/core/Core.ml @@ -1,6 +1,6 @@ (* * OCanren. - * Copyright (C) 2015-2024 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/src/core/Core.mli b/src/core/Core.mli index fff880bc9..63cf6bcf8 100644 --- a/src/core/Core.mli +++ b/src/core/Core.mli @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * OCanren. - * Copyright (C) 2015-2023 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/src/core/Disequality.ml b/src/core/Disequality.ml index 8fab0dfdf..0c9892546 100644 --- a/src/core/Disequality.ml +++ b/src/core/Disequality.ml @@ -1,6 +1,6 @@ (* * OCanren. - * Copyright (C) 2015-2024 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/src/core/Disequality.mli b/src/core/Disequality.mli index 582d6216c..b21ad0443 100644 --- a/src/core/Disequality.mli +++ b/src/core/Disequality.mli @@ -1,6 +1,6 @@ (* * OCanren. - * Copyright (C) 2015-2017 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/src/core/Env.ml b/src/core/Env.ml index af50a3171..a3b54d1a0 100644 --- a/src/core/Env.ml +++ b/src/core/Env.ml @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * OCanren. - * Copyright (C) 2015-2024 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/src/core/Env.mli b/src/core/Env.mli index 69fe1eda2..b672b2780 100644 --- a/src/core/Env.mli +++ b/src/core/Env.mli @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * OCanren. - * Copyright (C) 2015-2022 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/src/core/Logic.ml b/src/core/Logic.ml index e4ca0cf29..4f2fde452 100644 --- a/src/core/Logic.ml +++ b/src/core/Logic.ml @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * OCanren. - * Copyright (C) 2015-2024 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/src/core/Logic.mli b/src/core/Logic.mli index 2080ce70c..f3031a693 100644 --- a/src/core/Logic.mli +++ b/src/core/Logic.mli @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * OCanren. - * Copyright (C) 2015-2022 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/src/core/Peep.ml b/src/core/Peep.ml index ef78e7f22..62c78b6bb 100644 --- a/src/core/Peep.ml +++ b/src/core/Peep.ml @@ -1,6 +1,6 @@ (* * OCanren. - * Copyright (C) 2015-2024 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/src/core/Peep.mli b/src/core/Peep.mli index bba2c3cbc..15f335b93 100644 --- a/src/core/Peep.mli +++ b/src/core/Peep.mli @@ -1,6 +1,6 @@ (* * OCanren. - * Copyright (C) 2015-2020 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/src/core/Runconf.ml b/src/core/Runconf.ml index 1a7b22499..9929275ee 100644 --- a/src/core/Runconf.ml +++ b/src/core/Runconf.ml @@ -1,6 +1,6 @@ (* * OCanren. - * Copyright (C) 2015-2024 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/src/core/Runconf.mli b/src/core/Runconf.mli index 086aabf92..f6e19e3ce 100644 --- a/src/core/Runconf.mli +++ b/src/core/Runconf.mli @@ -1,6 +1,6 @@ (* * OCanren. - * Copyright (C) 2015-2017 + * Copyright (C) 2015-2015 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * @@ -19,7 +19,7 @@ (* A type for a runtime configuration *) val do_occurs_check : unit -> bool - + val occurs_check_on : unit -> unit val occurs_check_off : unit -> unit - + diff --git a/src/core/Stream.ml b/src/core/Stream.ml index 3e0410cc4..2ea143b3d 100644 --- a/src/core/Stream.ml +++ b/src/core/Stream.ml @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * OCanren. - * Copyright (C) 2015-2024 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/src/core/Stream.mli b/src/core/Stream.mli index 51293e843..6639d2aa3 100644 --- a/src/core/Stream.mli +++ b/src/core/Stream.mli @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * OCanren. - * Copyright (C) 2015-2022 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/src/core/Subst.ml b/src/core/Subst.ml index 8aa8b2530..b31f929a3 100644 --- a/src/core/Subst.ml +++ b/src/core/Subst.ml @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * OCanren. - * Copyright (C) 2015-2024 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/src/core/Subst.mli b/src/core/Subst.mli index b03122091..4eea63418 100644 --- a/src/core/Subst.mli +++ b/src/core/Subst.mli @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * OCanren. - * Copyright (C) 2015-2022 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/src/core/Term.ml b/src/core/Term.ml index b96124164..5577047cf 100644 --- a/src/core/Term.ml +++ b/src/core/Term.ml @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * OCanren. - * Copyright (C) 2015-2024 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/src/core/Term.mli b/src/core/Term.mli index bf41ffa5f..6209cf98c 100644 --- a/src/core/Term.mli +++ b/src/core/Term.mli @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * OCanren. - * Copyright (C) 2015-2022 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/src/core/Timer.ml b/src/core/Timer.ml index 178c7ccd0..4ec051a86 100644 --- a/src/core/Timer.ml +++ b/src/core/Timer.ml @@ -1,6 +1,6 @@ (* * OCanren. - * Copyright (C) 2015-2024 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/src/core/Timer.mli b/src/core/Timer.mli index 3dd0d4b7d..f7337cbcb 100644 --- a/src/core/Timer.mli +++ b/src/core/Timer.mli @@ -1,6 +1,6 @@ (* * OCanren. - * Copyright (C) 2015-2020 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/src/std/Bool.ml b/src/std/Bool.ml index 6b175f79a..6cb612eb8 100644 --- a/src/std/Bool.ml +++ b/src/std/Bool.ml @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * OCanren. - * Copyright (C) 2015-2024 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/src/std/Bool.mli b/src/std/Bool.mli index 7bb1b870b..50d77e0f2 100644 --- a/src/std/Bool.mli +++ b/src/std/Bool.mli @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * OCanren. - * Copyright (C) 2015-2022 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * @@ -36,7 +36,7 @@ open Core (** Type synonyms to comply with the generic naming scheme *) @type bool = ground with show, html, eq, compare, foldr, foldl, gmap, fmt @type bool_logic = logic with show, html, eq, compare, foldr, foldl, gmap, fmt - + (** {2 Relational API} *) (** Logic injection (for reification) *) @@ -54,7 +54,7 @@ val prj_exn: (bool ilogic, bool) Reifier.t (** Synonyms to comply with the generic naming scheme *) val reify_bool : (bool ilogic, bool Logic.logic) Reifier.t val prj_exn_bool : (bool ilogic, bool) Reifier.t - + (** Constants *) val falso : groundi val truo : groundi diff --git a/src/std/List.ml b/src/std/List.ml index afd2c529d..e49dff106 100644 --- a/src/std/List.ml +++ b/src/std/List.ml @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * OCanren. - * Copyright (C) 2015-2024 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/src/std/List.mli b/src/std/List.mli index 1904f3912..1711faceb 100644 --- a/src/std/List.mli +++ b/src/std/List.mli @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * OCanren. - * Copyright (C) 2015-2023 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/src/std/Nat.ml b/src/std/Nat.ml index 00dfec434..f3e3e6c00 100644 --- a/src/std/Nat.ml +++ b/src/std/Nat.ml @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * OCanren. - * Copyright (C) 2015-2024 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/src/std/Option.ml b/src/std/Option.ml index 51cb06388..60805aab6 100644 --- a/src/std/Option.ml +++ b/src/std/Option.ml @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * OCanren. - * Copyright (C) 2015-2024 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/src/std/Option.mli b/src/std/Option.mli index e5afbc4f8..c48ac1f61 100644 --- a/src/std/Option.mli +++ b/src/std/Option.mli @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * OCanren. - * Copyright (C) 2015-2023 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/src/std/Pair.ml b/src/std/Pair.ml index 51584113e..b0bfd3d4b 100644 --- a/src/std/Pair.ml +++ b/src/std/Pair.ml @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * OCanren. - * Copyright (C) 2015-2024 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/src/std/Pair.mli b/src/std/Pair.mli index 4ef79c967..3a82112b9 100644 --- a/src/std/Pair.mli +++ b/src/std/Pair.mli @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * OCanren. - * Copyright (C) 2015-2022 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * @@ -34,7 +34,7 @@ open Core (** Type synonyms to comply with the generic naming scheme *) @type ('a, 'b) pair = ('a, 'b) ground with show, gmap, html, eq, compare, foldl, foldr, fmt @type ('a, 'b) pair_logic = ('a, 'b) logic with show, gmap, html, eq, compare, foldl, foldr, fmt - + (** {2 Relational API} *) (** Logic injection (for reification) *) @@ -63,4 +63,4 @@ val reify_pair : ('a,'b) Reifier.t -> ('c,'d) Reifier.t -> val prj_exn_pair : ('a, 'b) Reifier.t -> ('c,'d) Reifier.t -> ( ('a, 'c) groundi, ('b, 'd) ground) Reifier.t - + diff --git a/src/std/Triple.ml b/src/std/Triple.ml index 8463488ca..481cdad44 100644 --- a/src/std/Triple.ml +++ b/src/std/Triple.ml @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * OCanren. - * Copyright (C) 2015-2024 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research * diff --git a/src/std/Triple.mli b/src/std/Triple.mli index 65f628721..da607fcba 100644 --- a/src/std/Triple.mli +++ b/src/std/Triple.mli @@ -1,7 +1,7 @@ (* SPDX-License-Identifier: LGPL-2.1-or-later *) (* * OCanren. - * Copyright (C) 2015-2023 + * Copyright (C) 2015-2025 * Dmitri Boulytchev, Dmitry Kosarev, Alexey Syomin, Evgeny Moiseenko * St.Petersburg State University, JetBrains Research *