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