sig
val opt_channel_in : Pervasives.in_channel Pervasives.ref
val opt_filename_in : string Pervasives.ref
val setup_opt_initial_procs : string -> unit
val setup_opt_channel_in : string -> unit
val common_cmdopts : (Arg.key * Arg.spec * Arg.doc) list
val input_cmdopts : (Arg.key * Arg.spec * Arg.doc) list
val simple_input : unit -> (Ph_types.ph * Ph_types.ctx) * string list
val proclist_from_stringlist : string list -> Ph_types.process list
end