pub fn materialize_given(
cx: &mut Cx,
packet: &BridgePacket,
id: &Symbol,
budget: usize,
) -> Result<GivenMaterialization>Expand description
Materializes one Given part. Callers must opt in and supply a budget.
pub fn materialize_given(
cx: &mut Cx,
packet: &BridgePacket,
id: &Symbol,
budget: usize,
) -> Result<GivenMaterialization>Materializes one Given part. Callers must opt in and supply a budget.