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

let ca: Type0 = unit
let cb: Type0 = unit
let cc: Type0 = unit
/
prims.fst.checked FStar.Pervasives.fsti.checked
Steel.C.Typestring.fst
Type0
Prims.unit
let ce:Type0 =
  
unit