schema front

schema s : t
constraints eds : s
----------------------------------
schema (front eds 0) : t
	
Computes the schema of the front of a constraint; i.e. the schema of the query assoicated to the FORALL and where clauses.

Appears in:

vsSQL3

Options:

always_reload
num_threads
talg_reduction
timeout