fixing definition of reads_ok to be more general. thanks for pointing out @guido
fixing definition of reads_ok to be more general. thanks for pointing out @guido

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar