package cvc5

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Cvc5.Sort`Source

Sourcetype sort

Sourceval delete : sort -> unit

Sourceval equal : sort -> sort -> bool

Sourceval to_string : sort -> string

Sourceval mk_bool_sort : TermManager.tm -> sort

Sourceval mk_int_sort : TermManager.tm -> sort

Sourceval mk_real_sort : TermManager.tm -> sort

Sourceval mk_string_sort : TermManager.tm -> sort

Sourceval mk_bv_sort : TermManager.tm -> int -> sort

Sourceval bv_size : sort -> int32

Sourceval mk_rm_sort : TermManager.tm -> sort

Sourceval mk_fp_sort : TermManager.tm -> int -> int -> sort

Sourceval mk_seq_sort : TermManager.tm -> sort -> sort

Sourceval mk_uninterpreted_sort : TermManager.tm -> string -> sort