package forester
Module State.SyntaxSource
Source
val (.?{}) :
t ->
Forester_core.URI.Tbl.key ->
Forester_core.Reporter.Message.t Asai.Diagnostic.t listSource
val (.?{}<-) :
t ->
Forester_core.URI.Tbl.key ->
Forester_core.Reporter.Message.t Asai.Diagnostic.t list ->
unitSource
val (.@{}) :
t ->
Forester_core.URI.Tbl.key ->
Forester_core__Types.content Forester_core__Types.resource option