diff options
Diffstat (limited to 'grammar/q_util.mli')
-rw-r--r-- | grammar/q_util.mli | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/grammar/q_util.mli b/grammar/q_util.mli index 90fe1645f..837ec6fb0 100644 --- a/grammar/q_util.mli +++ b/grammar/q_util.mli @@ -18,14 +18,6 @@ val mlexpr_of_pair : ('a -> MLast.expr) -> ('b -> MLast.expr) -> 'a * 'b -> MLast.expr -val mlexpr_of_triple : - ('a -> MLast.expr) -> ('b -> MLast.expr) -> ('c -> MLast.expr) - -> 'a * 'b * 'c -> MLast.expr - -val mlexpr_of_quadruple : - ('a -> MLast.expr) -> ('b -> MLast.expr) -> - ('c -> MLast.expr) -> ('d -> MLast.expr) -> 'a * 'b * 'c * 'd -> MLast.expr - val mlexpr_of_bool : bool -> MLast.expr val mlexpr_of_int : int -> MLast.expr |