Module Binable

module Binable: sig .. end
This function only needs implementation if t exposed to be a polymorphic variant. Despite what the type reads, this does *not* produce a function after reading; instead it takes the constructor tag (int) before reading and reads the rest of the variant t afterwards.

module type S = sig .. end
module type S1 = sig .. end
module type S2 = sig .. end