sig val unroll_transform : File.code_transformation_category end