package cvc5

You can search for identifiers within the package.

in-package search v0.2.0

cvc5
- Cvc5
  - Kind
  - Op
  - Result
  - RoundingMode
  - Solver
  - Sort
  - Term
  - TermManager

Legend:
Library
Module
Module type
Parameter
Class
Class type

type op

val mk_op : TermManager.tm -> Kind.t -> int array -> op

val equal : op -> op -> bool

val to_string : op -> string

val delete : op -> unit

val is_indexed : op -> bool

val kind : op -> Kind.t

val hash : op -> int

val get_num_indices : op -> int