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