type overlay = {orig_to_overlay : (Common.filename, Common.filename) Hashtbl.t;overlay_to_orig : (Common.filename, Common.filename) Hashtbl.t;data : (Common.filename * Common.filename) list;root_orig : Common.dirname;root_overlay : Common.dirname;}val overlay_equivalences :
dir_orig:Common.dirname ->
dir_overlay:Common.dirname ->
overlayval adapt_layer : Layer_code.layer -> overlay -> Layer_code.layerval adapt_database :
Database_code.database ->
overlay ->
Database_code.databaseval load_overlay : Common.filename -> overlayval save_overlay : overlay -> Common.filename -> unitval check_overlay :
dir_orig:Common.dirname ->
dir_overlay:Common.dirname ->
unitval gen_overlay :
dir_orig:Common.dirname ->
dir_overlay:Common.dirname ->
output:Common.filename ->
unitval adapt_layers :
overlay:overlay ->
dir_layers_orig:Common.dirname ->
dir_layers_overlay:Common.dirname ->
unit