type error = | Evar_undefined of Ident.t| Emissing of Ident.t| Eglobal_undefined of kind_of_global_ident * Lident.t| Eglobal_already of kind_of_global_ident * string| Ealready of kind_of_ident * Ident.t| Ealready_with_different_kinds of kind_of_ident * kind_of_ident * Ident.t| Eis_a_value of Ident.t| Ealready_in_forall of Ident.t| Einit_undefined of Ident.t| Elast_forbidden of Ident.t| Eder_forbidden of Ident.t| Enext_forbidden of Ident.t| Eshould_be_a_signal of Ident.t * Deftypes.typ| Ecannot_be_set of bool * Ident.t| Etype_clash of Deftypes.typ * Deftypes.typ| Etype_kind_clash of Deftypes.kind * Deftypes.typ| Earity_clash of int * int| Estate_arity_clash of Ident.t * int * int| Estate_unbound of Ident.t| Estate_initial| Ekind_not_combinatorial| Ekind_clash of Deftypes.kind * Deftypes.kind| Esome_labels_are_missing| Eequation_is_missing of Ident.t| Eglobal_is_a_function of Lident.t| Eapplication_of_non_function| Epattern_not_total| Ecombination_function of Ident.t| Esize_parameter_must_be_a_name| Enot_a_size_expression| Esize_of_vec_is_undetermined| Esize_clash of Deftypes.size * Deftypes.size| Esize_parameter_cannot_be_generalized of Ident.t * Deftypes.typ| Econstr_arity of Lident.t * int * intexception Error of Location.location * errorval error : Location.location -> error -> 'atype warning = | Wpartial_matching of Zelus.pattern| Wunreachable_state of Ident.t| Wmatch_unused of Zelus.pattern| Wequation_does_not_define_a_name| Wreset_target_state of bool * boolval kind_of_global_ident : kind_of_global_ident -> stringval kind_of_ident : kind_of_ident -> stringval kind_message : Deftypes.kind -> stringval message : Location.location -> error -> 'aval warning : Location.location -> warning -> unit