Module puffin::fuzzer::term_zoo

source ·
Expand description

Generates a zoo of terms form a Signature. For each function symbol in the signature a closed term is generated and added to the zoo.

Structs§

Constants§