From ebf072326e2315ace952c80dbc442198c44faf7d Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Wed, 8 Nov 2023 16:30:02 +0100 Subject: Added a way to compose a test with another one --- lib/syntax/t.ml | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'lib/syntax/t.ml') diff --git a/lib/syntax/t.ml b/lib/syntax/t.ml index 7186275..38ad5b0 100644 --- a/lib/syntax/t.ml +++ b/lib/syntax/t.ml @@ -2,8 +2,15 @@ This module contains the basic operators used in the QSP syntax. *) +open StdLabels + type 'a literal = Text of string | Expression of 'a list +let map_litteral : f:('a -> 'b) -> 'a literal -> 'b literal = + fun ~f -> function + | Text t -> Text t + | Expression e -> Expression (List.map ~f e) + type boperator = | Eq | Neq -- cgit v1.2.3