(* Co-installability tools * http://coinst.irill.org/ * Copyright (C) 2011 Jérôme Vouillon * Laboratoire PPS - CNRS Université Paris Diderot * * These programs are free software; you can redistribute them and/or * modify them under the terms of the GNU General Public License as * published by the Free Software Foundation; either version 2 of the * License, or (at your option) any later version. * * This program is distributed in the hope that it will be useful, but * WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU * Lesser General Public License for more details. * * You should have received a copy of the GNU General Public License * along with this program. If not, see . *) val filter : in_channel -> in_channel val open_in : string -> in_channel val open_in_multiple : string list -> in_channel val has_magic : in_channel -> string -> bool val pipe : in_channel -> string -> in_channel val pipe_from_string : string -> string -> in_channel val pipe_gen : (out_channel -> unit) -> string -> in_channel