Function programinduction::domains::circuits::dsl

source · 
pub fn dsl() -> Language
Expand description

The circuit representation, a lambda::Language, only defines the binary nand operation.

"nand": ptp!(@arrow[tp!(bool), tp!(bool), tp!(bool)])