Skip to main content

ROCQ_PRELUDE

meta_language::translation::emit_rocq

Constant ROCQ_PRELUDE 

Source 
pub const ROCQ_PRELUDE: &[&str];
Expand description

The Require lines every emitted file starts with.