Module Analyses_datatype

module Analyses_datatype: sig .. end

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