This should work:
    
    
    proc bar(baz, qux: distinct Foo) =
    
    
    Run

Reply via email to