Skip to main content

Module instances

Module instances 

Source
Expand description

Some common instances

Structsยง

PolyEvalCheck
Claim to some implicit polynomial evaluating to the given value at the given point.