adding a type annotation for trivial_preorder, so that F* does not send smt queries for its uses to prove that it is a preorder
adding a type annotation for trivial_preorder, so that F* does not send smt queries for its uses to prove that it is a preorder

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