package libzipperposition
Library for Zipperposition
Install
Dune Dependency
Authors
Maintainers
Sources
1.5.1.tar.gz
md5=cc320f66f10555c54822da624419e003
sha512=f8d5f7a5ae790bf0388d74261673803cf375f91f92f7b413b70db1ce5841ef55343a208f98727c8551d66f1840ab892f1c0c943a34861d14d79ce469b235a2f2
doc/src/libzipperposition.phases/libzipperposition_phases.ml.html
Source file libzipperposition_phases.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14(* This file is free software, part of Zipperposition. See file "license" for more details. *) module Phases = Phases module Phases_impl = Phases_impl let main_cli ?setup_gc () = Phases.run (Phases_impl.main_cli ?setup_gc ()) |> CCResult.map snd let main ?setup_gc ?params file = Phases.run (Phases_impl.main ?setup_gc ?params file) |> CCResult.map snd