Copyright © (C) 2015, Pablo Lamela, Simon Thompson
Authors: Pablo Lamela Seijas (P.Lamela-Seijas@kent.ac.uk), Simon Thompson (S.J.Thompson@kent.ac.uk).
| mapping/2 | Takes two trees and returns a mapping between their common nodes. |
mapping(T1::tree:tree(), T2::tree:tree()) -> da_map:da_map(tree:tree_node(), tree:tree_node())
Takes two trees and returns a mapping between their common nodes.
Generated by EDoc, Nov 5 2015, 16:30:19.