import Base
import External.Types
import External.Opaque

namespace External

def opaque_defs : OpaqueDefs := sorry

end External