From b6ed30cd2ba863fba89aaff0b56f060f81e0cd98 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Thu, 25 May 2023 15:39:06 +0200
Subject: [PATCH] [interpretation] Remove type alias for term lsymbol.
---
src/interpretation.ml | 11 +++--------
1 file changed, 3 insertions(+), 8 deletions(-)
diff --git a/src/interpretation.ml b/src/interpretation.ml
index aa2b97f..b0a68d5 100644
--- a/src/interpretation.ml
+++ b/src/interpretation.ml
@@ -44,18 +44,13 @@ type dataset = DS_csv of Csv.t [@printer fun fmt _ -> Fmt.pf fmt "<csv>"]
type data = D_csv of string list [@@deriving show]
-type vector =
- (Term.lsymbol
- [@printer
- fun fmt v ->
- Fmt.pf fmt "%a" Fmt.(option ~none:nop int) (Language.lookup_vector v)])
-[@@deriving show]
-
type caisar_op =
| NeuralNetwork of nn
| Dataset of dataset
| Data of data
- | Vector of vector
+ | Vector of Term.lsymbol
+ [@printer
+ fun fmt v -> Fmt.pf fmt "%a" Fmt.(option int) (Language.lookup_vector v)]
[@@deriving show]
type caisar_env = {
--
GitLab