apg_typeside t
apg_instance G1 : s1
apg_instance G2 : s2
----------------------------------
apg_morphism (literal : G1 -> G2 {
labels
elements
}) : G1 -> G2
An APG morphism, consisting of a function taking labels to labels and a function taking elements to elements.