package forester

You can search for identifiers within the package.

in-package search v0.2.0

A tool for tending mathematical forests

Install

md5=d1623b2919d2984bfcd841b5e772abd1

sha512=5924c8822d7e5a7bc49eb2b451cfd06cb372415559bc5ff232a59395b0aa28eb9819e351426ab25510f7d96ffb85ec652fa1878478b046c61e51ff471c285710

val root : string option

val trees : Forester_core.Sem.tree Forester_core.Addr_map.t

val run_query : 
  Forester_core.Query.dbix Forester_core.Query.expr ->
  Forester_core.Addr_set.t

val last_changed : Forester_core.addr -> Forester_prelude.Date.t option

val get_resource : hash:string -> string