val cr: Type0
val cr: Type0
let cr: Type0 = unit
module Steel.C.Typestring

let ca: Type0 = unit
let cb: Type0 = unit
let cc: Type0 = unit
let cd: Type0 = unit
let ce: Type0 = unit
let cf: Type0 = unit
let cg: Type0 = unit
let ch: Type0 = unit
let ci: Type0 = unit
let cj: Type0 = unit
let ck: Type0 = unit
let cl: Type0 = unit
let cm: Type0 = unit
let cn: Type0 = unit
let co: Type0 = unit
let cp: Type0 = unit
/
prims.fst.checked FStar.Pervasives.fsti.checked
Steel.C.Typestring.fst
Type0
Prims.unit
let cr:Type0 =
  
unit