From 0c40c8d8844bbb71999c7b5bd0bee24d24a972e0 Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Thu, 7 Aug 2025 01:14:26 +0200 Subject: Constant propagation --- parser.sig | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'parser.sig') diff --git a/parser.sig b/parser.sig index 2dea29f..17dbeaa 100644 --- a/parser.sig +++ b/parser.sig @@ -161,7 +161,11 @@ signature PARSER = sig val getLayoutSize: int -> word + val extz: word -> word -> word + val exts: word -> word -> word + val getT: exprAug -> ctype + val funcParts: ctype -> ctype * ctype list val getFieldInfo: ctype -> nid -> (word * ctype) option -- cgit v1.2.3