Function compile_to_spatial_with 

pub fn compile_to_spatial_with(
    source: &str,
    target: &SpatialTarget,
    numerics: NumericsPolicy,
) -> Result<SpatialProgram, SpatialReject>

English → a verified spatial program.