Module Yalo_plugin_ocaml.Main

val active_src_lex_linters : ((Parser.token * Location.t) list, unit) Yalo.V1.YALO_TYPES.active_linters Stdlib.ref
val active_ast_intf_linters : (Ast_types.OCAML_AST.signature, unit) Yalo.V1.YALO_TYPES.active_linters Stdlib.ref
val active_ast_intf_traverse_linters : (Ast_types.OCAML_AST_TRAVERSE.t, unit) Yalo.V1.YALO_TYPES.active_linters Stdlib.ref
val active_ast_impl_linters : (Ast_types.OCAML_AST.structure, unit) Yalo.V1.YALO_TYPES.active_linters Stdlib.ref
val active_ast_impl_traverse_linters : (Ast_types.OCAML_AST_TRAVERSE.t, unit) Yalo.V1.YALO_TYPES.active_linters Stdlib.ref
val active_tast_intf_linters : (Typedtree.signature, unit) Yalo.V1.YALO_TYPES.active_linters Stdlib.ref
val active_tast_intf_traverse_linters : (Tast_types.OCAML_TAST_TRAVERSE.t, unit) Yalo.V1.YALO_TYPES.active_linters Stdlib.ref
val active_tast_impl_linters : (Typedtree.structure, unit) Yalo.V1.YALO_TYPES.active_linters Stdlib.ref
val active_tast_impl_traverse_linters : (Tast_types.OCAML_TAST_TRAVERSE.t, unit) Yalo.V1.YALO_TYPES.active_linters Stdlib.ref
val active_sig_linters : (Cmi_format.cmi_infos, unit) Yalo.V1.YALO_TYPES.active_linters Stdlib.ref
val plugin : Yalo__V1.YALO_TYPES.plugin
val ocaml : Yalo__V1.YALO_TYPES.language
module SOURCE_LINTERS : sig ... end
val new_src_lex_linter : Yalo__V1.YALO_TYPES.namespace -> string -> warnings:Yalo__V1.YALO_TYPES.warning list -> ?on_begin:(unit -> unit) -> ?on_open: (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> unit) -> ?on_close: (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> unit) -> ?on_end:(unit -> unit) -> ((Parser.token * Location.t) list, unit) Yalo.V1.YALO_TYPES.linter_function -> unit
val new_ast_intf_linter : Yalo__V1.YALO_TYPES.namespace -> string -> warnings:Yalo__V1.YALO_TYPES.warning list -> ?on_begin:(unit -> unit) -> ?on_open: (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> unit) -> ?on_close: (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> unit) -> ?on_end:(unit -> unit) -> (Ast_types.OCAML_AST.signature, unit) Yalo.V1.YALO_TYPES.linter_function -> unit
val new_ast_impl_linter : Yalo__V1.YALO_TYPES.namespace -> string -> warnings:Yalo__V1.YALO_TYPES.warning list -> ?on_begin:(unit -> unit) -> ?on_open: (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> unit) -> ?on_close: (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> unit) -> ?on_end:(unit -> unit) -> (Ast_types.OCAML_AST.structure, unit) Yalo.V1.YALO_TYPES.linter_function -> unit
val new_tast_intf_linter : Yalo__V1.YALO_TYPES.namespace -> string -> warnings:Yalo__V1.YALO_TYPES.warning list -> ?on_begin:(unit -> unit) -> ?on_open: (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> unit) -> ?on_close: (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> unit) -> ?on_end:(unit -> unit) -> (Typedtree.signature, unit) Yalo.V1.YALO_TYPES.linter_function -> unit
val new_tast_impl_linter : Yalo__V1.YALO_TYPES.namespace -> string -> warnings:Yalo__V1.YALO_TYPES.warning list -> ?on_begin:(unit -> unit) -> ?on_open: (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> unit) -> ?on_close: (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> unit) -> ?on_end:(unit -> unit) -> (Typedtree.structure, unit) Yalo.V1.YALO_TYPES.linter_function -> unit
val new_sig_linter : Yalo__V1.YALO_TYPES.namespace -> string -> warnings:Yalo__V1.YALO_TYPES.warning list -> ?on_begin:(unit -> unit) -> ?on_open: (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> unit) -> ?on_close: (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> unit) -> ?on_end:(unit -> unit) -> (Cmi_format.cmi_infos, unit) Yalo.V1.YALO_TYPES.linter_function -> unit
val new_ast_impl_traverse_linter : Yalo__V1.YALO_TYPES.namespace -> string -> warnings:Yalo__V1.YALO_TYPES.warning list -> ?on_begin:(unit -> unit) -> ?on_open: (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> unit) -> ?on_close: (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> unit) -> ?on_end:(unit -> unit) -> (Ast_types.OCAML_AST_TRAVERSE.t, unit) Yalo.V1.YALO_TYPES.linter_function -> unit
val new_ast_intf_traverse_linter : Yalo__V1.YALO_TYPES.namespace -> string -> warnings:Yalo__V1.YALO_TYPES.warning list -> ?on_begin:(unit -> unit) -> ?on_open: (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> unit) -> ?on_close: (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> unit) -> ?on_end:(unit -> unit) -> (Ast_types.OCAML_AST_TRAVERSE.t, unit) Yalo.V1.YALO_TYPES.linter_function -> unit
val new_tast_impl_traverse_linter : Yalo__V1.YALO_TYPES.namespace -> string -> warnings:Yalo__V1.YALO_TYPES.warning list -> ?on_begin:(unit -> unit) -> ?on_open: (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> unit) -> ?on_close: (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> unit) -> ?on_end:(unit -> unit) -> (Tast_types.OCAML_TAST_TRAVERSE.t, unit) Yalo.V1.YALO_TYPES.linter_function -> unit
val new_tast_intf_traverse_linter : Yalo__V1.YALO_TYPES.namespace -> string -> warnings:Yalo__V1.YALO_TYPES.warning list -> ?on_begin:(unit -> unit) -> ?on_open: (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> unit) -> ?on_close: (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> unit) -> ?on_end:(unit -> unit) -> (Tast_types.OCAML_TAST_TRAVERSE.t, unit) Yalo.V1.YALO_TYPES.linter_function -> unit
val lint_ast : (Yalo__V1.YALO_TYPES.linter * (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> 'a -> unit)) list Stdlib.ref -> (Yalo__V1.YALO_TYPES.linter * (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> 'b -> 'c)) list Stdlib.ref -> ?before:('a -> unit) -> (file:Yalo__V1.YALO_TYPES.file -> (Yalo__V1.YALO_TYPES.linter * (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> 'b -> 'c)) list -> 'a -> unit) -> file:Yalo__V1.YALO_TYPES.file -> 'a -> unit
val is_menhir_generated_file_ref : bool Stdlib.ref
val check_is_menhir_generated_ast : Ast_types.OCAML_AST.structure_item list -> unit
val check_is_menhir_generated_tast : Tast_types.OCAML_TAST.structure -> unit
val is_menhir_generated_file : unit -> bool
val lint_ast_impl : file:Yalo.V1.YALO_TYPES.file -> Ast_types.OCAML_AST.structure -> unit
val lint_ast_intf : file:Yalo.V1.YALO_TYPES.file -> Ast_types.OCAML_AST.signature -> unit
val lint_tast_impl : file:Yalo.V1.YALO_TYPES.file -> Tast_types.OCAML_TAST.structure -> unit
val lint_tast_intf : file:Yalo.V1.YALO_TYPES.file -> Tast_types.OCAML_TAST.signature -> unit
val lint_sig : file:Yalo__V1.YALO_TYPES.file -> Cmi_format.cmi_infos -> unit
val arg_lint_ast_from_cmt : bool Stdlib.ref
val arg_lint_ast_from_src : bool Stdlib.ref
val arg_prefer_untyped : bool Stdlib.ref
module TO_PPXLIB : sig ... end
type intf_or_impl =
  1. | Intf
  2. | Impl
val with_info : 'a -> source_file:string -> (Compile_common.info -> 'b) -> 'b
val tokens_of_string : ?filename:string -> string -> (Parser.token * Location.t) list
val check_ml_source : file:Yalo__V1.YALO_TYPES.file -> unit
val check_impl_source : file:Yalo.V1.YALO_TYPES.file -> unit
val check_intf_source : file:Yalo.V1.YALO_TYPES.file -> unit
val check_cmi : file:Yalo__V1.YALO_TYPES.file -> unit
val check_cmt : file:Yalo.V1.YALO_TYPES.file -> unit
val non_source_directories : EzCompat.StringSet.t
val check_in_source_dir : file_doc:Yalo__V1.YALO_TYPES.document -> bool
val extract_submod : string -> string * string
val check_in_artefact_dir : file_doc:Yalo__V1.YALO_TYPES.document -> bool
val folder_updater : folder:Yalo__V1.YALO_TYPES.folder -> unit
include module type of struct include SOURCE_LINTERS end
val lint_src_file : file:Yalo__V1.YALO_TYPES.file -> unit
val new_src_file_linter : Yalo__V1.YALO_TYPES.namespace -> string -> warnings:Yalo__V1.YALO_TYPES.warning list -> ?on_begin:(unit -> unit) -> ?on_end:(unit -> unit) -> (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> Yalo__V1.YALO_TYPES.src_file_input -> unit) -> unit
val new_src_content_linter : Yalo__V1.YALO_TYPES.namespace -> string -> warnings:Yalo__V1.YALO_TYPES.warning list -> ?on_begin:(unit -> unit) -> ?on_open: (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> unit) -> ?on_close: (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> unit) -> ?on_end:(unit -> unit) -> (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> Yalo__V1.YALO_TYPES.src_content_input -> unit) -> unit
val new_src_line_linter : Yalo__V1.YALO_TYPES.namespace -> string -> warnings:Yalo__V1.YALO_TYPES.warning list -> ?on_begin:(unit -> unit) -> ?on_open: (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> unit) -> ?on_close: (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> unit) -> ?on_end:(unit -> unit) -> (file:Yalo__V1.YALO_TYPES.file -> linter:Yalo__V1.YALO_TYPES.linter -> Yalo__V1.YALO_TYPES.src_line_input -> unit) -> unit