Skip to main content

bang_modality_ty

oxilean_std::lambda_calculus::functions

Function bang_modality_ty 

Source 
pub fn bang_modality_ty() -> Expr
Expand description

BangModality: the !A modality — unrestricted use of A