package coq

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

pre-treatment to terms before adding or searching

val direction : bool

direction of post-filtering w.r.t sort subtyping :

  • true means query <= terms in the structure
  • false means terms <= query