-
Pierre Letouzey authored
NB : WC stands for WellFormed+Closed, here Closed in the sense "no free variables", i.e. FVars Also: some class overloading for fclosed, etc etc
ea4f820a
NB : WC stands for WellFormed+Closed, here Closed in the sense "no free variables", i.e. FVars Also: some class overloading for fclosed, etc etc