Defining sorts of first-order logic

Functions
SORT	sort (char *s)
	Defining a sort of first-order logic. More...

Detailed Description

Defining sorts of first-order logic.

Function Documentation

sort()

SORT sort

(

char *

s

)

Defining a sort of first-order logic.

This function defines a sort in first-order logic, either interpreted if s is "Bool" or "Int", or uninterpreted otherwise.

Parameters

s	The name of the sort.

Returns

The corresponding sort.