From b5b68f7247f30ba9395961e52097cec04259f512 Mon Sep 17 00:00:00 2001 From: jaehyun1ee <99jaehyunlee@kaist.ac.kr> Date: Wed, 27 May 2026 16:50:23 +0900 Subject: [PATCH] Clarify that Booleans are serializable Signed-off-by: jaehyun1ee <99jaehyunlee@kaist.ac.kr> --- p4-16/spec/P4-16-spec.adoc | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/p4-16/spec/P4-16-spec.adoc b/p4-16/spec/P4-16-spec.adoc index 2683a36b7a..6ced14bc56 100644 --- a/p4-16/spec/P4-16-spec.adoc +++ b/p4-16/spec/P4-16-spec.adoc @@ -1890,8 +1890,10 @@ Operations on values of type `match_kind` are described in ==== The Boolean type The Boolean type `bool` contains just two values, `false` and `true`. -Boolean values are not integers or bit-strings. Operations that can -be performed on booleans are described in Section <>. +Boolean values are not integers or bit-strings. Boolean values can be +serialized and deserialized, where `false` is serialized as 0 and `true` +is serialized as 1. Operations that can be performed on booleans are +described in Section <>. [#sec-string-type] ==== Strings