package alt-ergo-lib

  1. Overview
  2. Docs
package alt-ergo-lib
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module X : Arg

Signature

type t
type theory = X.t
val empty : t
val add_term : Matching_types.term_info -> Expr.t -> t -> t
val max_term_depth : t -> int -> t
val add_triggers : Util.matching_env -> t -> (Expr.t * int * Explanation.t) Expr.Map.t -> t