Module Library_io


module Library_io: sig .. end
I / O library implementation
Author(s): Tony BenBrahim < tony.benbrahim at gmail.com >

exception EIOPassthrough of string
internal error raised to indicate a inconsistent usage of a handle

type channelType =
| OutChannel of Pervasives.out_channel
| InChannel of Pervasives.in_channel * (string * bool)
type of I/O channel
val initialize : Environment.analysis_env ->
Ast.lib_function_def list * Environment.analysis_env
Entry point for library initialization
Returns a list of exported functions