package alt-ergo-lib

  1. Overview
  2. Docs
package alt-ergo-lib
Legend:
Library
Module
Module type
Parameter
Class
Class type
type r = Combine.r
type t = Combine.r Sig.ac
val make : Expr.t -> r * Expr.t list
val is_mine_symb : Symbols.t -> Ty.t -> bool
val compare : t -> t -> int
val equal : t -> t -> bool
val hash : t -> int
val type_info : t -> Ty.t
val print : Format.formatter -> t -> unit
val leaves : t -> r list
val subst : r -> r -> t -> r
val add : Symbols.t -> (r * int) -> (r * int) list -> (r * int) list
val fully_interpreted : Symbols.t -> bool
val abstract_selectors : t -> (r * r) list -> r * (r * r) list
val compact : (r * int) list -> (r * int) list