val ideal_TS: ideal_flag
let ideal_TS = false
val ideal_TS: ideal_flag
let ideal_TS =
false
Model.Flags.fst.checked
prims.fst.checked FStar.Pervasives.fsti.checked
Model.Flags.fst
module Model.Flags
val ideal_TS: ideal_flag
Model.Flags.ideal_flag