Skip to main content

EXPAND_OPEN

lean_ctx_proxy::ccr

Constant EXPAND_OPEN 

Source 
pub const EXPAND_OPEN: &'static str;
Expand description

Opening delimiter of an in-band retrieval marker: <lc_expand:HASH> (#493).