62421f322bc5054f9094630d794ac00990e4b9cf
1 #include "fold/module.ih"
5 const std::string
Fold::TYPENAME("StdFolds.Fold^");
6 const TypeProxy
<Fold
, View
> Fold::PROXY
;
8 Fold::Fold(INTEGER id
) : View(id
) {}
17 const std::string
&Fold::getTypeName() const {