flams_ontology::ftml::attrstrings

Constant PROOF_TERM

Source 
pub const PROOF_TERM: &'static str = "data-ftml-proofterm";