/** * Used for C99 */ module stratego/xtc/c99/Proc strategies /** * Reads a term from a file. If the given file exists, it will be * treated as an ATerm and its content will be returned, as a term. * * @type FILE -> t */ read-from : FILE(name) -> t where <ReadFromFile> name => t