From e5311427a6933e23d074156ccadcc6a92e3307ad Mon Sep 17 00:00:00 2001 From: Joris van der Hoeven Date: Sun, 8 Nov 2020 09:45:37 +0000 Subject: [PATCH] Accessors for getting various positions --- devel/scheme/api/glue-auto-doc.en.tm | 48 ++++++++++++++++++++++++++++ 1 file changed, 48 insertions(+) diff --git a/devel/scheme/api/glue-auto-doc.en.tm b/devel/scheme/api/glue-auto-doc.en.tm index 143f595..34ba09c 100644 --- a/devel/scheme/api/glue-auto-doc.en.tm +++ b/devel/scheme/api/glue-auto-doc.en.tm @@ -8210,6 +8210,54 @@ source code. . + <\explain> + + + <|explain> + Calls the function which returns + . + + + <\explain> + + + <|explain> + Calls the function which returns + . + + + <\explain> + + + <|explain> + Calls the function which returns + . + + + <\explain> + + + <|explain> + Calls the function which returns + . + + + <\explain> + + + <|explain> + Calls the function which returns + . + + + <\explain> + + + <|explain> + Calls the function which returns + . + + <\explain>