module Kernel_datatype:Datatypes of some useful kernel types.sig
..end
module Rooted_Code_Annotation:Project.Datatype.S
with type t = rooted_code_annotation
module Before_After:
module Rooted_Code_Annotation_Before_After:Project.Datatype.S
with type t = rooted_code_annotation before_after