module Kernel_datatype:Datatypes of some useful kernel types.sig
..end
module Rooted_code_annotation:Datatype.S
with type t = rooted_code_annotation
module 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