KiCS-0.9.1: src/lib/Curry/Module/Trace.fcy
Prog "Trace" ["Prelude"] [] [Func ("Trace","trace") 1 Public (FuncType (TVar 0) (TVar 0)) (Rule [1] (Var 1))] []Prog "Trace" ["Prelude"] [] [Func ("Trace","trace") 1 Public (FuncType (TVar 0) (TVar 0)) (Rule [1] (Var 1))] []