(*
    ||M||  This file is part of HELM, an Hypertextual, Electronic        
    ||A||  Library of Mathematics, developed at the Computer Science     
    ||T||  Department, University of Bologna, Italy.                     
    ||I||                                                                
    ||T||  HELM is free software; you can redistribute it and/or         
    ||A||  modify it under the terms of the GNU General Public License   
    \   /  version 2 or (at your option) any later version.      
     \ /   This software is distributed as is, NO WARRANTY.     
      V_______________________________________________________________ *)

(* $Id$ *)

exception ObjectNotFound of string Lazy.t
exception LibraryOutOfSync of string Lazy.t

type timestamp
val time0: timestamp

val add_obj: NUri.uri -> NCic.obj -> timestamp
val aliases_of: NUri.uri -> NReference.reference list
val resolve: string -> NReference.reference list
val get_obj: NUri.uri -> NCic.obj (* changes the current timestamp *)

val clear_cache : unit -> unit

val time_travel: timestamp -> unit
val serialize: baseuri:NUri.uri -> ('status -> 'status) -> unit
val require: baseuri:NUri.uri -> 'status -> 'status
val decompile: baseuri:NUri.uri -> unit

(* EOF *)