DkStdRestApis_Gen.OaHeader.Export

Sourceval header : OaTypes.header_kind -> OaTypes.header

val find_header : 
  Json_query.path ->
  'a DkStdRestApis_Gen.OaTypes.Header_map.t ->
  'a

val fold_all_headers : 
  OaTypes.t ->
  (Json_query.path -> OaTypes.header -> 'a -> 'a) ->
  'a ->
  'a