package forester

  1. Overview
  2. Docs
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