module Analyses_datatype:sig
..end
Datatypes for analyses types
Datatypes for analyses types
module Annotation_kind:Datatype.S
with type t = annotation_kind
module Pred_or_term:Datatype.S_with_collections
with type t = pred_or_term
module At_data:sig
..end