Mavryk_protocol_environment_000_PsUCFkqU.Block_headertype shell_header = Mavryk_base.TzPervasives.Block_header.shell_header = {level : Int32.t;proto_level : int;predecessor : Block_hash.t;timestamp : Time.t;validation_passes : int;operations_hash : Operation_list_list_hash.t;fitness : MBytes.t list;context : Context_hash.t;}val shell_header_encoding : shell_header Data_encoding.tval pp : Format.formatter -> t -> unitval encoding : t Data_encoding.tval hash : t -> Block_hash.tval hash_raw : MBytes.t -> Block_hash.t