package libzipperposition

You can search for identifiers within the package.

in-package search v0.2.0

Library for Zipperposition

Install

dune-project

Dependency

md5=7a8e57388083ed763d12d18324c8a086

sha512=5c5ac312ada6b42907d1e91e349454a8375f7bf8165d3459721a40b707a840a3d6b3dc968a66f1040cb4de7aedf5c1c13f3e90b51337eae5ea6de41651d7bd63

module App_encode : sig ... end

module Bce : sig ... end

module Bce_pe_fixpoint : sig ... end

module Bool_encode : sig ... end

module Booleans : sig ... end

module EnumTypes : sig ... end

module Eq_encode : sig ... end

module Fool : sig ... end

module Heuristics : sig ... end

module Higher_order : sig ... end

module Hlt_elim : sig ... end

module Ind_types : sig ... end

module Lazy_cnf : sig ... end

module Pred_elim : sig ... end

module Pure_literal_elim : sig ... end

module Rewriting : sig ... end

module Superposition : sig ... end

module Superposition_intf : sig ... end