val of_script : Script.script -> string