Skip to content
Snippets Groups Projects
Normal view Permalink
rifRead.mli 145 B
Newer Older
erwan's avatar
New: allow the sasa rdbg plugin to use its internal demons  
erwan committed
1 
(* Time-stamp: <modified the 13/05/2019 (at 10:17) by Erwan Jahier> *)
erwan's avatar
New: add a --ignore-first-inputs option.
erwan committed
2 3 4 

(** Reads on stdin a bool *)
erwan's avatar
New: allow the sasa rdbg plugin to use its internal demons  
erwan committed
5 
val bool: bool -> string -> string -> bool