|| Generated Sapl file for StdStrictLists.icl




|| Converted Records