///|
/// Entry point for the runnable example.
fn main {
  let plan = @lens.resubmission_plan(
    "Constraint Lens revised application",
    @lens.sample_rejection_feedback(),
    @lens.sample_differentiators(),
  )
  println(plan.to_markdown())
}