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