Module program 

Structs

ApplyObj

Program

Rule

RuleVar

VisitObj

Enums

Core

Function

RuleBodyCell

Functions

alloc_body

alloc_closed_core

alloc_term

build_body

build_function

gen_functions

gen_names

get_global_name_misc

get_var

hash

make_string

term_to_core

converts a language term to a runtime term

Type Aliases

ApplyFun

Aris

Funs

Nams

RuleBody

RuleBodyNode

VisitFun