mapping mapping_identity

typeside t
schema s : t
----------------------------------
mapping (identity s) : s -> s
	
The identity mapping. In fact, it can be written as include instead of identity and given a second argument.

Appears in:

All_Syntax

Options:

always_reload
num_threads
talg_reduction
timeout