Module Bi_share

module Bi_share: sig .. end

type type_id 

val dummy_type_id : type_id

val create_type_id : unit -> type_id

module Wr: sig .. end

module Rd: sig .. end