CurryInfo: curry-source-1.3.0 / Language.Curry.CheckOperations