Type Alias Sketch

Source
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 */ }