val int:Type u#0
val int:Type u#0
let int : Type u#0 = int
module Degenerate

open FStar.Universe
/
prims.fst.checked FStar.Universe.fsti.checked FStar.Pervasives.fsti.checked
Degenerate.fst
Type0
Prims.int
let int:Type u#0 =
  
int