KtorZ aefbc6e1b9 Define a safer API for unwrap_xxx_or and choose_data_xxx ...

Cloning a 'Term' is potentially dangerous, so we don't want this to
  happen by mistake. So instead, we pass in var names and turn them into
  terms when necessary.

2024-08-08 00:39:44 -04:00

..

src

Define a safer API for unwrap_xxx_or and choose_data_xxx

2024-08-08 00:39:44 -04:00

Cargo.toml

Provide better errors on unknown type in cyclic definitions.

2024-08-06 19:24:48 +02:00