sig
  type kind = [ `C | `OCaml | `OCaml_pp ]
  val pp_kind : Format.formatter -> As_part_lib.kind -> unit
  val kind : [< `Lib ] As_part.t -> As_part_lib.kind
  val byte : [< `Lib ] As_part.t -> bool
  val native : [< `Lib ] As_part.t -> bool
  val native_dynlink : [< `Lib ] As_part.t -> bool
  val ocaml :
    [< As_part.kind ] As_part.t -> [< As_part.kind > `Lib ] As_part.t option
  val ocaml_pp :
    [< As_part.kind ] As_part.t -> [< As_part.kind > `Lib ] As_part.t option
  val c :
    [< As_part.kind ] As_part.t -> [< As_part.kind > `Lib ] As_part.t option
  val find_unit :
    string ->
    [< As_part.kind ] As_part.t -> [< As_part.kind > `Unit ] As_part.t option
  val v :
    ?usage:As_part.usage ->
    ?exists:bool As_conf.value ->
    ?args:As_args.t ->
    ?byte:bool ->
    ?native:bool ->
    ?native_dynlink:bool ->
    string ->
    As_part_lib.kind ->
    [< `Lib | `Pkg | `Unit ] As_part.t list ->
    [< As_part.kind > `Lib ] As_part.t
end