package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module Callback : sig ... end

module Common : sig ... end

module Congruence_closure : sig ... end

module Definitions : sig ... end

Try to fold definitions

module F : sig ... end

module FA : sig ... end

module F_Pos : sig ... end

A position inside a function symbol

module Info : sig ... end

module InvertedPath : sig ... end

module PC : sig ... end

module PN : sig ... end

module PP : sig ... end

module PT : sig ... end

module Pattern : sig ... end

Pattern

module Quantifier : sig ... end

module Subst : sig ... end

module SubstTrie : sig ... end

module Trigger : sig ... end

Trigger

module Uninterp : sig ... end