package logtk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Perfect Discrimination Tree

This module provides a simplification index, based on a perfect discrimination tree (see "the handbook of automated reasoning", chapter "term indexing", for instance).

module Make (E : LogtkIndex.EQUATION) : LogtkIndex.UNIT_IDX with module E = E
OCaml

Innovation. Community. Security.