sig type 'a t val create : tag:'a -> version:int -> 'a Ib.Header.t end