Module type Term_dnet.OPT

Options :

val reduce : Constr.constr -> Constr.constr

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