fact: Definition transl_error : forall (s : state) (err : error), (forall terr : type_error, err = Type_error terr -> expln (glob_ctx s) terr) -> {perr : perror | transl_err s err perr}.
imports: Termes Conv Types Conv_Dec Infer Expr