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

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