From 77df0b0f119fc70624e4b830320a2b3e1034f7b5 Mon Sep 17 00:00:00 2001 From: Alex AUVOLAT Date: Wed, 21 May 2014 18:07:37 +0200 Subject: Just retab (many lines changed for nothing) --- abstract/environment_domain.ml | 42 +++++++++++++++++++++--------------------- 1 file changed, 21 insertions(+), 21 deletions(-) (limited to 'abstract/environment_domain.ml') diff --git a/abstract/environment_domain.ml b/abstract/environment_domain.ml index 5c00fbd..404548c 100644 --- a/abstract/environment_domain.ml +++ b/abstract/environment_domain.ml @@ -1,33 +1,33 @@ open Abstract_syntax_tree module type ENVIRONMENT_DOMAIN = sig - type t + type t - (* construction *) - val init : t - val bottom : t - val is_bot : t -> bool + (* construction *) + val init : t + val bottom : t + val is_bot : t -> bool - (* variable management *) - val addvar : t -> id -> t - val rmvar : t -> id -> t - val vars : t -> id list + (* variable management *) + val addvar : t -> id -> t + val rmvar : t -> id -> t + val vars : t -> id list - (* abstract operation *) - val assign : t -> id -> expr ext -> t (* S[id <- expr] *) - val compare_leq : t -> expr ext -> expr ext -> t (* S[expr <= expr ?] *) - val compare_eq : t -> expr ext -> expr ext -> t (* S[expr = expr ?] *) + (* abstract operation *) + val assign : t -> id -> expr ext -> t (* S[id <- expr] *) + val compare_leq : t -> expr ext -> expr ext -> t (* S[expr <= expr ?] *) + val compare_eq : t -> expr ext -> expr ext -> t (* S[expr = expr ?] *) - (* set-theoretic operations *) - val join : t -> t -> t (* union *) - val meet : t -> t -> t (* intersection *) - val widen : t -> t -> t + (* set-theoretic operations *) + val join : t -> t -> t (* union *) + val meet : t -> t -> t (* intersection *) + val widen : t -> t -> t - (* order *) - val subset : t -> t -> bool + (* order *) + val subset : t -> t -> bool - (* pretty-printing *) - val var_str : t -> id list -> string + (* pretty-printing *) + val var_str : t -> id list -> string end -- cgit v1.2.3