Module Db.Properties.Status


module Status: sig .. end

Weakest preconditions


Since Beryllium-20090901+dev

module type S = sig .. end
module CodeAnnotation: S  with type t = code_annotation
module Behavior: S  with type t = kernel_function*funbehavior
module Predicate: S  with type t = identified_predicate