include "ground_2/lib/streams_tls.ma".
(* RELOCATION N-STREAM ******************************************************)
definition rtmap: Type[0] ≝ stream nat.
include "ground_2/lib/streams_tls.ma".
(* RELOCATION N-STREAM ******************************************************)
definition rtmap: Type[0] ≝ stream nat.