|| Generated Sapl file for StdEnum.icl




|| Converted Records