apg_mapping apg_mapping_literal

apg_typeside ty
----------------------------------
apg_mapping (literal : S -> T {

labels
	
}) : S -> T

An APG mapping literal, consisting of an assignment of labels to types and labels to open terms.

Appears in:

APG

Options:

always_reload
num_threads
talg_reduction
timeout