Single table encoding format and lookup function for destruct_typ_as_formula
Single table encoding format and lookup function for destruct_typ_as_formula

A-Manning/FStar,FStarLang/FStar,A-Manning/FStar,A-Manning/FStar,FStarLang/FStar,FStarLang/FStar