STDIN

risc0_zkvm_platform::fileno

Constant STDIN 

Source 
pub const STDIN: u32 = 0;