Parameter Run._

val route : Core.addr -> string
val abs_path : Core.addr -> string option
val is_root : Core.addr -> bool
val bibliography : Core.addr -> Core.Sem.doc list
val parents : Core.addr -> Core.Sem.doc list
val contributors : Core.addr -> string list
val contributions : Core.addr -> Core.Sem.doc list
val enqueue_latex : name:string -> packages:string list -> source:string -> unit
val get_doc : Core.addr -> Core.Sem.doc option
val run_query : Core.Sem.t Core.Query.t -> Core.Sem.doc list