Module bend::fun

Re-exports

• pub use net_to_term::net_to_term;
• pub use net_to_term::ReadbackError;
• pub use term_to_net::book_to_nets;
• pub use term_to_net::term_to_net;

Modules

• builtins
• check
• display
• load_book
• net_to_term
• parser
• term_to_net
• transform

Structs

• Adt
  A user defined datatype
• Book
  The representation of a program.
• CtrField
• Ctx
• Definition
  A pattern matching function definition.
• Name
• Rule
  A pattern matching rule of a definition.

Enums

• FanKind
• Num
• Op
• Pattern
• Tag
• Term

Statics

• STRINGS

Functions

• num_to_name

Type Aliases

• Adts
• Constructors
• MatchRule