Module Analyses_datatype

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