diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-03-17 11:56:51 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-03-17 13:15:51 +0100 |
| commit | 22c1e7c3f1d86902b1abf2d887e0e9bf93ddb60d (patch) | |
| tree | 508ca2ee83eaf05e39921759360edfd6004f7039 /grammar/q_util.mli | |
| parent | 29f26d380177495a224c3b94d3309a3d23693d8f (diff) | |
Removing dead code in Q_util.
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 |