package yices2

  1. Overview
  2. Docs

Tuples

val create : term array -> term

Tuple

Tuple select

val select : int -> term -> term

Tuple select

Tuple update

val update : term -> int -> term -> term

Tuple update