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
GraphSchColim
Options:
always_reload
num_threads
talg_reduction
timeout