From ffbb0cf14fbda147f014eda0a9d5e23d24dd9820 Mon Sep 17 00:00:00 2001 From: acassimiro Date: Tue, 22 Oct 2024 21:32:12 -0300 Subject: [PATCH] Use lowercase type names in function signature --- ukm-semantics/main/preprocessing/endpoints.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/ukm-semantics/main/preprocessing/endpoints.md b/ukm-semantics/main/preprocessing/endpoints.md index 5e087d5..8b45d02 100644 --- a/ukm-semantics/main/preprocessing/endpoints.md +++ b/ukm-semantics/main/preprocessing/endpoints.md @@ -202,10 +202,10 @@ module UKM-PREPROCESSING-ENDPOINTS ) => concat(signatureType(T), concat(",", signatureTypes(Ps))) - rule signatureType(u8) => "Uint8" - rule signatureType(u16) => "Uint16" - rule signatureType(u32) => "Uint32" - rule signatureType(u64) => "Uint64" + rule signatureType(u8) => "uint8" + rule signatureType(u16) => "uint16" + rule signatureType(u32) => "uint32" + rule signatureType(u64) => "uint64" rule signatureType(u128) => "uint128" rule signatureType(u160) => "uint160" rule signatureType(u256) => "uint256"