Module fun 

Re-exports

pub use net_to_term::net_to_term;

pub use net_to_term::ReadbackError;

pub use term_to_net::book_to_hvm;

pub use term_to_net::term_to_hvm;

Modules

builtins

check

display

load_book

net_to_term

parser

term_to_net

transform

Structs

Adt

A user defined datatype

AdtCtr

Book

The representation of a program.

CtrField

Ctx

Definition

A pattern matching function definition.

HvmDefinition

An HVM native definition.

Name

Rule

A pattern matching rule of a definition.

Source

Enums

FanKind

Num

Op

Pattern

SourceKind

Tag

Term

Type

Statics

STRINGS

Functions

num_to_name

Type Aliases

Adts

Constructors

Definitions

HvmDefinitions

MatchRule