pub type Sketch<L> = RecExpr<SketchNode<L>>;
Expand description
A Sketch
is a program pattern that is satisfied by a family of programs.
It can also be seen as an incomplete or partial program as it can leave details unspecified.
Aliased Typeยง
pub struct Sketch<L> { /* private fields */ }