Module Shredded_store_sigs.Shredded_Basetypes.Eqnameid_Module

module Eqnameid_Module: Shredded_store_sigs.Shredded_Type  with type t = eqnameid

type t 
type encoded_type = char array 
val encode : t ->
encoded_type
val decode : encoded_type ->
t