package mopsa

You can search for identifiers within the package.

in-package search v0.2.0

MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation

Install

md5=fdee20e988343751de440b4f6b67c0f4

sha512=f5cbf1328785d3f5ce40155dada2d95e5de5cce4f084ea30cfb04d1ab10cc9403a26cfb3fa55d0f9da72244482130fdb89c286a9aed0d640bba46b7c00e09500

include module type of struct include Arg_complete end

type complete = string -> string list

type complete_all = string list -> string list

type spec = Arg_complete.spec =

module Rest_all_compat = Arg_complete.Rest_all_compat

type speclist = (Stdlib.Arg.key * spec * Stdlib.Arg.doc) list

type arg_speclist = (Stdlib.Arg.key * Stdlib.Arg.spec * Stdlib.Arg.doc) list

val arg_spec : spec -> Stdlib.Arg.spec

val arg_speclist : speclist -> arg_speclist

type anon_complete = complete

val complete_argv : 
  ?prefer_getopt_long:bool ->
  string list ->
  speclist ->
  anon_complete ->
  string list

val empty : complete

val empty_all : complete_all

val strings : string list -> complete

module Util = Arg_complete.Util

Sourcetype arg = {

}

Sourceval argext_to_arg : arg -> string * Stdlib.Arg.spec * string

Sourceval argext_to_arg_list : arg list -> (string * Stdlib.Arg.spec * string) list

Sourceval string_list_lifter : (string list -> unit) -> string -> unit

Sourceval set_string_list_lifter : string list Stdlib.ref -> string -> unit

Sourceval complete_files_in_dir : ?prefix:string -> string -> complete