Skip to main content

occurrence_typing_ty

oxilean_std::lambda_calculus::functions

Function occurrence_typing_ty 

Source 
pub fn occurrence_typing_ty() -> Expr
Expand description

OccurrenceTyping: type assignment based on control flow occurrences