Up – Package index » mopsa » Library mopsa.mopsa_analyzer » Mopsa_analyzer » Languages » Universal » Strings » Powerset

Module `Strings.Powerset`

Constant strings abstraction

mopsa
- CHANGELOG
- README
- Library mopsa.c_stubs_parser
  - Mopsa_c_stubs_parser
- Library mopsa.mopsa_analyzer
  - Mopsa_analyzer
- Library mopsa.mopsa_build_db
  - Mopsa_build_db
- Library mopsa.mopsa_c_parser
  - Mopsa_c_parser
- Library mopsa.mopsa_c_stubs_parser
- Library mopsa.mopsa_py_parser
  - Mopsa_py_parser
- Library mopsa.mopsa_universal_parser
  - Mopsa_universal_parser
- Library mopsa.mopsa_utils
  - Mopsa_utils
- Library parsing
  - Parsing
- Library passes
  - Passes
- Sources

module StringPower : sig ... end

type MopsaLib.avalue_kind +=

| V_strings_powerset : StringPower.t MopsaLib.avalue_kind

val mk_strings_powerset_query : 
  Framework.Core.Ast.Expr.expr ->
  ('a, StringPower.t) Framework.Core.Query.query

module SimplifiedValue : sig ... end

module Value : sig ... end