pub fn contract<'c>(
context: &'c Context,
lhs: Value<'c, '_>,
rhs: Value<'c, '_>,
acc: Value<'c, '_>,
indexing_maps: ArrayAttribute<'c>,
iterator_types: ArrayAttribute<'c>,
location: Location<'c>
) -> ContractionOperation<'c>
Expand description
Creates a contract
operation.