val repr (a: Type u#aa) (i: int) : Type u#aa
val repr (a: Type u#aa) (i: int) : Type u#aa
let repr (a:Type u#aa) (i:int) : Type u#aa =
  raise_t (x:int{x==i})
module Degenerate

open FStar.Universe

(* otherwise it's eqtype and strict checking fails *)
let int : Type u#0 = int

(* An effect which does not use its type *)
/
prims.fst.checked FStar.Universe.fsti.checked FStar.Pervasives.fsti.checked
Degenerate.fst
a: Type -> i: Degenerate.int -> Type
Degenerate.int FStar.Universe.raise_t Prims.eq2
let repr (a: Type u#aa) (i: int) : Type u#aa =
  
raise_t (x: int{x == i})