Documentation

Logic.Modal.ModalCompanion.ModalCompanion