Function chalk_integration::lowering::lower_goal

source ยท
pub fn lower_goal(
    goal: &Goal,
    program: &Program,
) -> Result<Goal<ChalkIr>, RustIrError>