Core.In
type _ t =
| Stdin : stdin t
| Channel : channel t
| File : string -> file t
| Pipe : Stdlib.Out_channel.t -> pipe t