pub fn pull(input: &PullInput<'_>) -> Result<PullOutcome, CoreError>Expand description
Run the pull: assemble, render to a fixpoint, keep what round-trips.
pub fn pull(input: &PullInput<'_>) -> Result<PullOutcome, CoreError>Run the pull: assemble, render to a fixpoint, keep what round-trips.