Skip to main content

confluence_ty

Function confluence_ty 

Source
pub fn confluence_ty() -> Expr
Expand description

Confluence: the reflexive transitive closure of →β has the diamond property