Skip to content

logrel: Change nat to int

Amin Timany requested to merge amin/logrel-nat-to-int into master

This MR changes logical relations. It changes the type nat in F_mu_ref_conc to int. It also adds a few missing cases in the definition of well-typed contexts.

Merge request reports