Skip to main content

binary_session_typing_ty

oxilean_std::lambda_calculus::functions

Function binary_session_typing_ty 

Source 
pub fn binary_session_typing_ty() -> Expr
Expand description

BinarySessionTyping: Γ ⊢ P : S (binary session typing)