Module Ppx_version.Lint_version_syntax

val name : string
val errors_as_warnings_ref : bool Core_kernel.ref
val make_deriving_validator : pred:( bool -> bool -> bool ) -> 'a -> Ppxlib.type_declaration -> (Ppxlib.location * 'b) list
val validate_neither_bin_io_nor_version : Ppxlib.type_declaration -> (Ppxlib.location * string) list
val validate_version_if_bin_io : Ppxlib.type_declaration -> (Ppxlib.location * string) list
val is_versioned_module_inc_decl : Ppxlib.module_expr Ppxlib.include_infos -> bool
val versioned_in_functor_error : 'a -> 'b * string
val include_stable_latest_error : 'a -> 'b * string
type accumulator = {
in_functor : bool;
in_include : bool;
in_versioned_ext : bool;
module_path : string list;
errors : (Ppxlib.Location.t * string) list;
}
val acc_with_errors : accumulator -> (Ppxlib.Location.t * string) list -> accumulator
val acc_with_accum_errors : accumulator -> (Ppxlib.Location.t * string) Base__List.t -> accumulator
val is_longident_with_id : Core_kernel.String.t -> Ppxlib.longident -> bool
val is_version_module : string -> bool
val is_stable_prefix : Ppxlib.longident -> bool
val is_stable_latest_inc_decl : Ppxlib.module_expr Ppxlib.include_infos -> bool
val is_jane_street_prefix : Ppxlib.Longident.t -> bool
val in_versioned_type_module : string list -> bool
val is_versioned_module_ident : Ppxlib.longident -> bool
val is_versioned_module_lident : Ppxlib.longident -> bool
val is_versioned_type_lident : Ppxlib.longident -> bool
val core_types_misuses : Ppxlib.core_type list -> (Ppxlib.location * string) list
val get_core_type_versioned_type_misuses : Ppxlib.core_type -> (Ppxlib.location * string) list
val types_of_constructor_args : Ppxlib.constructor_arguments -> Ppxlib.core_type list
val types_of_type_kind : Ppxlib.type_kind -> Ppxlib.core_type list
val get_versioned_type_misuses : Ppxlib.type_declaration -> (Ppxlib.location * string) list
val include_versioned_module_error : 'a -> 'b * string
val in_stable_versioned_module : string list -> bool
val lint_ast : accumulator Ppxlib.Ast_traverse.fold
val lint_impl : Ppxlib__.Import.Ast.structure -> Ppxlib.Driver.Lint_error.t list