query query_identity
typeside t schema s : t ---------------------------------- query (identity s) : s -> s
The identity query. One can also writte include a b when a appears in b.
Appears in:
All_Syntax
Options:
always_reload
num_threads
talg_reduction
timeout