KiCS-0.8.8: src/lib/Curry/Module/CEventOracle.hs.include
[ForType "Ref" Nothing,ForFunction "initialize",ForFunction "finalize",ForFunction "fresh",ForFunction "replace",ForFunction "collapse",ForFunction "closeRef",ForFunction "expand"]
[ForType "Ref" Nothing,ForFunction "initialize",ForFunction "finalize",ForFunction "fresh",ForFunction "replace",ForFunction "collapse",ForFunction "closeRef",ForFunction "expand"]