package cvc5

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type sort

val delete : sort -> unit

val equal : sort -> sort -> bool

val to_string : sort -> string

val mk_bool_sort : TermManager.tm -> sort

val mk_int_sort : TermManager.tm -> sort

val mk_real_sort : TermManager.tm -> sort

val mk_string_sort : TermManager.tm -> sort

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

val bv_size : sort -> int32

val mk_rm_sort : TermManager.tm -> sort

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

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

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