diff options
Diffstat (limited to 'src/GF/Data/Str.hs')
| -rw-r--r-- | src/GF/Data/Str.hs | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/GF/Data/Str.hs b/src/GF/Data/Str.hs index 6433e5355..138c39f26 100644 --- a/src/GF/Data/Str.hs +++ b/src/GF/Data/Str.hs @@ -1,3 +1,17 @@ +---------------------------------------------------------------------- +-- | +-- Module : (Module) +-- Maintainer : (Maintainer) +-- Stability : (stable) +-- Portability : (portable) +-- +-- > CVS $Date $ +-- > CVS $Author $ +-- > CVS $Revision $ +-- +-- (Description of the module) +----------------------------------------------------------------------------- + module Str ( Str (..), Tok (..), --- constructors needed in PrGrammar str2strings, str2allStrings, str, sstr, sstrV, |