type pos = Fmlib.Position.ttype type_in_context = Build_context.type_in_contexttype description = | Overflow| No_name| Incomplete_type of type_in_context| Cannot_infer_bound| Not_a_function of type_in_context list| Wrong_type of (type_in_context * type_in_context) list| Wrong_base of type_in_context list * type_in_context list| Ambiguous of type_in_context list| Name_violation of string * string| Ambiguous_definition| Wrong_parameter_count of int| Wrong_parameter_name of string| Wrong_parameter_type of Alba_core.Term.typ * Alba_core.Gamma.t| Missing_inductive_type| No_inductive_type| Duplicate_inductive| Duplicate_constructor| Wrong_type_constructed of Alba_core.Term.typ * Alba_core.Gamma.t| Negative| Nested_negative of Alba_core.Inductive.t * int * Alba_core.Gamma.t| Not_positive of Alba_core.Term.typ * Alba_core.Gamma.t| Not_yet_implemented of stringtype t = range * descriptionmodule Print (P : Fmlib.Pretty_printer.SIG) : sig ... endval string_of_problem : string -> t -> string