CurryInfo: contract-prover-4.0.0 / PackageConfig.packageLoadPath

packageLoadPath :: String
packageLoadPath = "/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/showflatcurry-3.0.0/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/scc-3.0.0/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/abstract-curry-4.0.0/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/rewriting-3.0.0/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/flatcurry-type-annotated-3.4.0/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/flatcurry-annotated-3.3.0/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/flatcurry-smt-2.0.0/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/xml-3.0.0/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/queue-3.0.0/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/wl-pprint-3.0.0/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/transformers-3.0.0/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/extra-3.0.0/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/string-trie-0.0.2/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/rw-data-1.1.0/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/redblacktree-3.0.0/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/read-legacy-3.0.0/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/profiling-3.0.0/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/frontend-exec-3.3.0/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/propertyfile-3.0.0/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/process-3.0.0/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/io-extra-3.0.0/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/execpath-3.0.0/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/filepath-3.0.0/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/directory-3.0.0/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/currypath-3.0.0/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/flatcurry-4.0.0/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/contracts-3.1.0/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/time-3.0.0/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/random-3.0.0/src:/var/www/webapps/curry-info/.curry_info_cache/checkouts/contract-prover-4.0.0/.cpm/packages/containers-3.0.0/src"

no demanded arguments

deterministic operation

--- Load path for the package (deprecated, use 'getPackageLoadPath').

()

referentially transparent operation

no fixity defined

{() |-> {:}}

packageLoadPath

no precedence defined

{:}

String

operationally complete operation

yes

reducible on all ground data terms