diff options
Diffstat (limited to 'lib/expression/sym.ml')
| -rw-r--r-- | lib/expression/sym.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/lib/expression/sym.ml b/lib/expression/sym.ml index 0360e8e..49e923d 100644 --- a/lib/expression/sym.ml +++ b/lib/expression/sym.ml @@ -1,8 +1,6 @@ (** The signature for an expression analyzer. - Every element is mapped to a function, using the tagless final pattern. - - *) + Every element is mapped to a function, using the tagless final pattern. *) module type SYM_EXPR = sig type 'a repr type 'a obs |