JL.Functions
Description
context :: Map Variable Type Source #
The typing context.
scope :: Map Variable Core Source #
Bindings available in scope.
functions :: [(Text, [Definition])] Source #
All functions.