DSL.CodeSourceval math :
Forester_core__.Base.math_mode ->
Forester_core.Code.t ->
Forester_core.Code.node Asai.Range.locatedval group :
Forester_core__.Base.delim ->
Forester_core.Code.t ->
Forester_core.Code.node Asai.Range.locatedval def :
Forester_core.Trie.path ->
(Forester_core__.Base.binding_info * string) list ->
Forester_core.Code.t ->
Forester_core.Code.node Asai.Range.located