let mk_external n d = External(n, d)