Brigitte Pientka

In the code below, Beluga does not recognize (closure_var_SN [_ |- _] [_ |- #p] sm') as being smaller. ``` LF ty : type = | base : ty |...