These pages describe how various internals of IMP work. They are here for maintainers and are subject to change without notice.