Module `Message_types.Flip`

Flip T is the types for the other end of T's connection.

Parameters

module T : TABLE_TYPES

Signature

module QuestionId = T.AnswerId

module AnswerId = T.QuestionId

module ImportId = T.ExportId

module ExportId = T.ImportId