package forester

You can search for identifiers within the package.

in-package search v0.2.0

A tool for tending mathematical forests

Install

md5=24f4aed96a8b8af33aba13fba66f1b37

sha512=d36b896aca11858bb4a00fc704c16cc27a1f197bdb3e479d6132fd70f70d67d7158096285cb0b6fb00db14417f0f822cc27fe65d82f0971e42378fd8271ce573

Sourceval (.={}) : t -> Forester_core.URI.Tbl.key -> Forester_core.Tree.t option

Sourceval (.={}<-) : t -> Forester_core.URI.Tbl.key -> Forester_core.Tree.t -> unit

val (./{}) : 
  t ->
  Forester_core.URI.Tbl.key ->
  Forester_core.Tree.exports option

Sourceval (./{}<-) : t -> Forester_core.URI.t -> Forester_core.Tree.exports -> unit

val (.?{}) : 
  t ->
  Forester_core.URI.Tbl.key ->
  Forester_core.Reporter.Message.t Asai.Diagnostic.t list

val (.?{}<-) : 
  t ->
  Forester_core.URI.Tbl.key ->
  Forester_core.Reporter.Message.t Asai.Diagnostic.t list ->
  unit

val (.@{}) : 
  t ->
  Forester_core.URI.Tbl.key ->
  Forester_core__Types.content Forester_core__Types.resource option