From d4ab85a1a6503cdbcb98c183c3357926d78da8a7 Mon Sep 17 00:00:00 2001 From: Alex AUVOLAT Date: Wed, 7 May 2014 19:04:38 +0200 Subject: implement assert, print --- abstract/value_domain.ml | 3 +++ 1 file changed, 3 insertions(+) (limited to 'abstract/value_domain.ml') diff --git a/abstract/value_domain.ml b/abstract/value_domain.ml index a0f082f..9cf6d76 100644 --- a/abstract/value_domain.ml +++ b/abstract/value_domain.ml @@ -25,4 +25,7 @@ module type VALUE_DOMAIN = sig (* boolean test *) val leq : t -> t -> t * t (* For intervals : [a, b] -> [c, d] -> ([a, min b d], [max a c, d]) *) + + (* pretty-printing *) + val to_string : t -> string end -- cgit v1.2.3