これを「どのように」理解するか？

Question

(** adds an header option in the header option list*) 
let add_headers header key value = 
{ header with 
    headers = Http_headers.add key value header.headers } 

"ヘッダー付きヘッダー..."の理解方法私はそれが新しいヘッダーでheader.headersを "置き換える"と思います。 Howerver、渡されたヘッダーは不変でなければなりません。

よろしくお願いいたします。

Answer 1

はい、渡されたheaderは不変です（または変更することができます）。この関数は実際に引数を変更しません。あなたが言うように、それはコピーのheadersフィールドが「置き換えられた」というコピーを返します。