module Translate:This module provides translations function from C expressions and ACSL annotations to the memory model internal representation.sig
..end
module type MT_sig =sig
..end
module ToGfol:
AbortTranslation
,
and normally no other exception...