module Test_read: sig end
sig end
val read : string -> C_abstree.program
string -> C_abstree.program
val read_chan : Pervasives.in_channel -> C_abstree.program
Pervasives.in_channel -> C_abstree.program