src/Tools/Compute_Oracle/am_sml.ML

 		    end
 	    in
 		map eval_rule (rev (section (arity + 1)))
 	    end
 
-	fun (convert_computed_rules : int -> string list) c = 
+	fun convert_computed_rules (c: int) : string list = 
 	    let
 		val arity = the (arity_of c)
 		fun eval_rule () = 
 		    let
 			val sc = string_of_int c