From 433f0bc4e5110db09c770022b277c419f8b35f64 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 12 Dec 2014 16:40:32 +0100 Subject: Summary: more surgery functions API to let one forge a frozen state out of another frozen state plus some frozen bits --- library/summary.mli | 3 +++ 1 file changed, 3 insertions(+) (limited to 'library/summary.mli') diff --git a/library/summary.mli b/library/summary.mli index 1ce09e12c..1dcb1d5f5 100644 --- a/library/summary.mli +++ b/library/summary.mli @@ -68,3 +68,6 @@ type frozen_bits val freeze_summary : marshallable:marshallable -> ?complement:bool -> string list -> frozen_bits val unfreeze_summary : frozen_bits -> unit +val surgery_summary : frozen -> frozen_bits -> frozen +val project_summary : frozen -> ?complement:bool -> string list -> frozen_bits +val pointer_equal : frozen_bits -> frozen_bits -> bool -- cgit v1.2.3