demote_modality

catlog::tt::notebook_elab

Function demote_modality 

Source 
pub fn demote_modality(modality: Modality) -> Modality
Expand description

Demotes a modality to notebook type.