Module Kernel_datatype


module Kernel_datatype: sig .. end
Datatypes of some useful kernel types.
Consult the Plugin Development Guide for additional details.

module Rooted_code_annotation: Datatype.S  with type t = rooted_code_annotation
module Before_after: 
functor (A : Datatype.S) -> Datatype.S with type t = A.t before_after
module Rooted_code_annotation_before_after: Datatype.S  with type t = rooted_code_annotation before_after
module Kernel_function: sig .. end
module Localisation: Datatype.S  with type t = localisation