Ops.capi.cpp.inc File Reference

#include <limits>

Include dependency graph for Ops.capi.cpp.inc:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
MlirOperation	llzkVerif_ContractEndOpBuild (MlirOpBuilder builder, MlirLocation location)
	Build a llzk::verif::ContractEndOp Operation.
bool	llzkOperationIsA_Verif_ContractEndOp (MlirOperation inp)
	Returns true if the Operation is a llzk::verif::ContractEndOp.
bool	llzkOperationIsA_Verif_ContractOp (MlirOperation inp)
	Returns true if the Operation is a llzk::verif::ContractOp.
MlirAttribute	llzkVerif_ContractOpGetSymName (MlirOperation op)
	Get SymName attribute from llzk::verif::ContractOp Operation.
void	llzkVerif_ContractOpSetSymName (MlirOperation op, MlirAttribute attr)
	Set SymName attribute of llzk::verif::ContractOp Operation.
MlirAttribute	llzkVerif_ContractOpGetTarget (MlirOperation op)
	Get Target attribute from llzk::verif::ContractOp Operation.
void	llzkVerif_ContractOpSetTarget (MlirOperation op, MlirAttribute attr)
	Set Target attribute of llzk::verif::ContractOp Operation.
MlirAttribute	llzkVerif_ContractOpGetFunctionType (MlirOperation op)
	Get FunctionType attribute from llzk::verif::ContractOp Operation.
void	llzkVerif_ContractOpSetFunctionType (MlirOperation op, MlirAttribute attr)
	Set FunctionType attribute of llzk::verif::ContractOp Operation.
MlirAttribute	llzkVerif_ContractOpGetArgAttrs (MlirOperation op)
	Get ArgAttrs attribute from llzk::verif::ContractOp Operation.
void	llzkVerif_ContractOpSetArgAttrs (MlirOperation op, MlirAttribute attr)
	Set ArgAttrs attribute of llzk::verif::ContractOp Operation.
MlirRegion	llzkVerif_ContractOpGetBody (MlirOperation op)
	Get Body region from llzk::verif::ContractOp Operation.
bool	llzkVerif_ContractOpIsDeclaration (MlirOperation inp)
	Required by SymbolOpInterface.
bool	llzkVerif_ContractOpHasArgPublicAttr (MlirOperation inp, unsigned index)
	Return true iff the argument at the given index has pub attribute.
bool	llzkVerif_ContractOpHasFuncTarget (MlirOperation inp)
	Return true iff the contract targets a function.
bool	llzkVerif_ContractOpHasStructTarget (MlirOperation inp)
	Return true iff the contract targets a struct type.
MlirRegion	llzkVerif_ContractOpGetCallableRegion (MlirOperation inp)
	Required by FunctionOpInterface.
bool	llzkVerif_ContractOpHasArgName (MlirOperation inp, unsigned index)
	Return true iff the argument at the given index has a function.arg_name attribute.
MlirAttribute	llzkVerif_ContractOpGetFullyQualifiedName (MlirOperation inp, bool requireParent)
	Return the full name for this contract from the root module, including all surrounding symbol table names (i.e., modules and structs).
MlirOperation	llzkVerif_EnsureComputeOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue condition)
	Build a llzk::verif::EnsureComputeOp Operation.
bool	llzkOperationIsA_Verif_EnsureComputeOp (MlirOperation inp)
	Returns true if the Operation is a llzk::verif::EnsureComputeOp.
MlirValue	llzkVerif_EnsureComputeOpGetCondition (MlirOperation op)
	Get Condition operand from llzk::verif::EnsureComputeOp Operation.
void	llzkVerif_EnsureComputeOpSetCondition (MlirOperation op, MlirValue value)
	Set Condition operand of llzk::verif::EnsureComputeOp Operation.
MlirOperation	llzkVerif_EnsureConstrainOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue condition)
	Build a llzk::verif::EnsureConstrainOp Operation.
bool	llzkOperationIsA_Verif_EnsureConstrainOp (MlirOperation inp)
	Returns true if the Operation is a llzk::verif::EnsureConstrainOp.
MlirValue	llzkVerif_EnsureConstrainOpGetCondition (MlirOperation op)
	Get Condition operand from llzk::verif::EnsureConstrainOp Operation.
void	llzkVerif_EnsureConstrainOpSetCondition (MlirOperation op, MlirValue value)
	Set Condition operand of llzk::verif::EnsureConstrainOp Operation.
bool	llzkOperationIsA_Verif_IncludeOp (MlirOperation inp)
	Returns true if the Operation is a llzk::verif::IncludeOp.
intptr_t	llzkVerif_IncludeOpGetArgOperandsCount (MlirOperation op)
	Get number of ArgOperands operands in llzk::verif::IncludeOp Operation.
MlirValue	llzkVerif_IncludeOpGetArgOperandsAt (MlirOperation op, intptr_t index)
	Get ArgOperands operand at index from llzk::verif::IncludeOp Operation.
void	llzkVerif_IncludeOpSetArgOperands (MlirOperation op, intptr_t count, MlirValue const *values)
	Set ArgOperands operands of llzk::verif::IncludeOp Operation.
intptr_t	llzkVerif_IncludeOpGetMapOperandsCount (MlirOperation op)
	Get number of MapOperands operands in llzk::verif::IncludeOp Operation.
MlirValue	llzkVerif_IncludeOpGetMapOperandsAt (MlirOperation op, intptr_t index)
	Get MapOperands operand at index from llzk::verif::IncludeOp Operation.
void	llzkVerif_IncludeOpSetMapOperands (MlirOperation op, intptr_t groupCount, MlirValueRange const *groups)
	Set MapOperands operand groups of llzk::verif::IncludeOp Operation.
MlirAttribute	llzkVerif_IncludeOpGetCallee (MlirOperation op)
	Get Callee attribute from llzk::verif::IncludeOp Operation.
void	llzkVerif_IncludeOpSetCallee (MlirOperation op, MlirAttribute attr)
	Set Callee attribute of llzk::verif::IncludeOp Operation.
MlirAttribute	llzkVerif_IncludeOpGetTemplateParams (MlirOperation op)
	Get TemplateParams attribute from llzk::verif::IncludeOp Operation.
void	llzkVerif_IncludeOpSetTemplateParams (MlirOperation op, MlirAttribute attr)
	Set TemplateParams attribute of llzk::verif::IncludeOp Operation.
MlirAttribute	llzkVerif_IncludeOpGetNumDimsPerMap (MlirOperation op)
	Get NumDimsPerMap attribute from llzk::verif::IncludeOp Operation.
void	llzkVerif_IncludeOpSetNumDimsPerMap (MlirOperation op, MlirAttribute attr)
	Set NumDimsPerMap attribute of llzk::verif::IncludeOp Operation.
MlirAttribute	llzkVerif_IncludeOpGetMapOpGroupSizes (MlirOperation op)
	Get MapOpGroupSizes attribute from llzk::verif::IncludeOp Operation.
void	llzkVerif_IncludeOpSetMapOpGroupSizes (MlirOperation op, MlirAttribute attr)
	Set MapOpGroupSizes attribute of llzk::verif::IncludeOp Operation.
bool	llzkVerif_IncludeOpContractTargetsStruct (MlirOperation inp)
	Return true iff the contract targets a struct type.
MlirValue	llzkVerif_IncludeOpGetSelfValue (MlirOperation inp)
	Return the "self" value (i.e.
MlirType	llzkVerif_IncludeOpGetTypeSignature (MlirOperation inp)
	Return the FunctionType inferred from the arg operands of this CallOp.
MlirOperation	llzkVerif_IncludeOpResolveCallable (MlirOperation inp)
	Required by CallOpInterface.
MlirOperation	llzkVerif_RequireComputeOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue condition)
	Build a llzk::verif::RequireComputeOp Operation.
bool	llzkOperationIsA_Verif_RequireComputeOp (MlirOperation inp)
	Returns true if the Operation is a llzk::verif::RequireComputeOp.
MlirValue	llzkVerif_RequireComputeOpGetCondition (MlirOperation op)
	Get Condition operand from llzk::verif::RequireComputeOp Operation.
void	llzkVerif_RequireComputeOpSetCondition (MlirOperation op, MlirValue value)
	Set Condition operand of llzk::verif::RequireComputeOp Operation.
MlirOperation	llzkVerif_RequireConstrainOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue condition)
	Build a llzk::verif::RequireConstrainOp Operation.
bool	llzkOperationIsA_Verif_RequireConstrainOp (MlirOperation inp)
	Returns true if the Operation is a llzk::verif::RequireConstrainOp.
MlirValue	llzkVerif_RequireConstrainOpGetCondition (MlirOperation op)
	Get Condition operand from llzk::verif::RequireConstrainOp Operation.
void	llzkVerif_RequireConstrainOpSetCondition (MlirOperation op, MlirValue value)
	Set Condition operand of llzk::verif::RequireConstrainOp Operation.

Function Documentation

llzkOperationIsA_Verif_ContractEndOp()

bool llzkOperationIsA_Verif_ContractEndOp

(

MlirOperation

inp

)

Returns true if the Operation is a llzk::verif::ContractEndOp.

Definition at line 22 of file Ops.capi.cpp.inc.

llzkOperationIsA_Verif_ContractOp()

bool llzkOperationIsA_Verif_ContractOp

(

MlirOperation

inp

)

Returns true if the Operation is a llzk::verif::ContractOp.

Definition at line 26 of file Ops.capi.cpp.inc.

llzkOperationIsA_Verif_EnsureComputeOp()

bool llzkOperationIsA_Verif_EnsureComputeOp

(

MlirOperation

inp

)

Returns true if the Operation is a llzk::verif::EnsureComputeOp.

Definition at line 101 of file Ops.capi.cpp.inc.

llzkOperationIsA_Verif_EnsureConstrainOp()

bool llzkOperationIsA_Verif_EnsureConstrainOp

(

MlirOperation

inp

)

Returns true if the Operation is a llzk::verif::EnsureConstrainOp.

Definition at line 132 of file Ops.capi.cpp.inc.

llzkOperationIsA_Verif_IncludeOp()

bool llzkOperationIsA_Verif_IncludeOp

(

MlirOperation

inp

)

Returns true if the Operation is a llzk::verif::IncludeOp.

Definition at line 156 of file Ops.capi.cpp.inc.

llzkOperationIsA_Verif_RequireComputeOp()

bool llzkOperationIsA_Verif_RequireComputeOp

(

MlirOperation

inp

)

Returns true if the Operation is a llzk::verif::RequireComputeOp.

Definition at line 288 of file Ops.capi.cpp.inc.

llzkOperationIsA_Verif_RequireConstrainOp()

bool llzkOperationIsA_Verif_RequireConstrainOp

(

MlirOperation

inp

)

Returns true if the Operation is a llzk::verif::RequireConstrainOp.

Definition at line 319 of file Ops.capi.cpp.inc.

llzkVerif_ContractEndOpBuild()

MlirOperation llzkVerif_ContractEndOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location )

Build a llzk::verif::ContractEndOp Operation.

Definition at line 16 of file Ops.capi.cpp.inc.

llzkVerif_ContractOpGetArgAttrs()

MlirAttribute llzkVerif_ContractOpGetArgAttrs

(

MlirOperation

op

)

Get ArgAttrs attribute from llzk::verif::ContractOp Operation.

Definition at line 54 of file Ops.capi.cpp.inc.

llzkVerif_ContractOpGetBody()

MlirRegion llzkVerif_ContractOpGetBody

(

MlirOperation

op

)

Get Body region from llzk::verif::ContractOp Operation.

Definition at line 62 of file Ops.capi.cpp.inc.

llzkVerif_ContractOpGetCallableRegion()

MlirRegion llzkVerif_ContractOpGetCallableRegion

(

MlirOperation

inp

)

Required by FunctionOpInterface.

Returns the region on the current operation that is callable.

Definition at line 82 of file Ops.capi.cpp.inc.

llzkVerif_ContractOpGetFullyQualifiedName()

MlirAttribute llzkVerif_ContractOpGetFullyQualifiedName	(	MlirOperation	inp,
		bool	requireParent )

Return the full name for this contract from the root module, including all surrounding symbol table names (i.e., modules and structs).

Definition at line 90 of file Ops.capi.cpp.inc.

llzkVerif_ContractOpGetFunctionType()

MlirAttribute llzkVerif_ContractOpGetFunctionType

(

MlirOperation

op

)

Get FunctionType attribute from llzk::verif::ContractOp Operation.

Definition at line 46 of file Ops.capi.cpp.inc.

llzkVerif_ContractOpGetSymName()

MlirAttribute llzkVerif_ContractOpGetSymName

(

MlirOperation

op

)

Get SymName attribute from llzk::verif::ContractOp Operation.

Definition at line 30 of file Ops.capi.cpp.inc.

llzkVerif_ContractOpGetTarget()

MlirAttribute llzkVerif_ContractOpGetTarget

(

MlirOperation

op

)

Get Target attribute from llzk::verif::ContractOp Operation.

Definition at line 38 of file Ops.capi.cpp.inc.

llzkVerif_ContractOpHasArgName()

bool llzkVerif_ContractOpHasArgName	(	MlirOperation	inp,
		unsigned	index )

Return true iff the argument at the given index has a function.arg_name attribute.

Definition at line 86 of file Ops.capi.cpp.inc.

llzkVerif_ContractOpHasArgPublicAttr()

bool llzkVerif_ContractOpHasArgPublicAttr	(	MlirOperation	inp,
		unsigned	index )

Return true iff the argument at the given index has pub attribute.

Definition at line 70 of file Ops.capi.cpp.inc.

llzkVerif_ContractOpHasFuncTarget()

bool llzkVerif_ContractOpHasFuncTarget

(

MlirOperation

inp

)

Return true iff the contract targets a function.

Definition at line 74 of file Ops.capi.cpp.inc.

llzkVerif_ContractOpHasStructTarget()

bool llzkVerif_ContractOpHasStructTarget

(

MlirOperation

inp

)

Return true iff the contract targets a struct type.

Definition at line 78 of file Ops.capi.cpp.inc.

llzkVerif_ContractOpIsDeclaration()

bool llzkVerif_ContractOpIsDeclaration

(

MlirOperation

inp

)

Required by SymbolOpInterface.

Definition at line 66 of file Ops.capi.cpp.inc.

llzkVerif_ContractOpSetArgAttrs()

void llzkVerif_ContractOpSetArgAttrs	(	MlirOperation	op,
		MlirAttribute	attr )

Set ArgAttrs attribute of llzk::verif::ContractOp Operation.

Definition at line 58 of file Ops.capi.cpp.inc.

llzkVerif_ContractOpSetFunctionType()

void llzkVerif_ContractOpSetFunctionType	(	MlirOperation	op,
		MlirAttribute	attr )

Set FunctionType attribute of llzk::verif::ContractOp Operation.

Definition at line 50 of file Ops.capi.cpp.inc.

llzkVerif_ContractOpSetSymName()

void llzkVerif_ContractOpSetSymName	(	MlirOperation	op,
		MlirAttribute	attr )

Set SymName attribute of llzk::verif::ContractOp Operation.

Definition at line 34 of file Ops.capi.cpp.inc.

llzkVerif_ContractOpSetTarget()

void llzkVerif_ContractOpSetTarget	(	MlirOperation	op,
		MlirAttribute	attr )

Set Target attribute of llzk::verif::ContractOp Operation.

Definition at line 42 of file Ops.capi.cpp.inc.

llzkVerif_EnsureComputeOpBuild()

MlirOperation llzkVerif_EnsureComputeOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	condition )

Build a llzk::verif::EnsureComputeOp Operation.

Definition at line 94 of file Ops.capi.cpp.inc.

llzkVerif_EnsureComputeOpGetCondition()

MlirValue llzkVerif_EnsureComputeOpGetCondition

(

MlirOperation

op

)

Get Condition operand from llzk::verif::EnsureComputeOp Operation.

Definition at line 105 of file Ops.capi.cpp.inc.

llzkVerif_EnsureComputeOpSetCondition()

void llzkVerif_EnsureComputeOpSetCondition	(	MlirOperation	op,
		MlirValue	value )

Set Condition operand of llzk::verif::EnsureComputeOp Operation.

Definition at line 115 of file Ops.capi.cpp.inc.

llzkVerif_EnsureConstrainOpBuild()

MlirOperation llzkVerif_EnsureConstrainOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	condition )

Build a llzk::verif::EnsureConstrainOp Operation.

Definition at line 125 of file Ops.capi.cpp.inc.

llzkVerif_EnsureConstrainOpGetCondition()

MlirValue llzkVerif_EnsureConstrainOpGetCondition

(

MlirOperation

op

)

Get Condition operand from llzk::verif::EnsureConstrainOp Operation.

Definition at line 136 of file Ops.capi.cpp.inc.

llzkVerif_EnsureConstrainOpSetCondition()

void llzkVerif_EnsureConstrainOpSetCondition	(	MlirOperation	op,
		MlirValue	value )

Set Condition operand of llzk::verif::EnsureConstrainOp Operation.

Definition at line 146 of file Ops.capi.cpp.inc.

llzkVerif_IncludeOpContractTargetsStruct()

bool llzkVerif_IncludeOpContractTargetsStruct

(

MlirOperation

inp

)

Return true iff the contract targets a struct type.

Definition at line 265 of file Ops.capi.cpp.inc.

llzkVerif_IncludeOpGetArgOperandsAt()

MlirValue llzkVerif_IncludeOpGetArgOperandsAt	(	MlirOperation	op,
		intptr_t	index )

Get ArgOperands operand at index from llzk::verif::IncludeOp Operation.

Definition at line 165 of file Ops.capi.cpp.inc.

llzkVerif_IncludeOpGetArgOperandsCount()

intptr_t llzkVerif_IncludeOpGetArgOperandsCount

(

MlirOperation

op

)

Get number of ArgOperands operands in llzk::verif::IncludeOp Operation.

Definition at line 160 of file Ops.capi.cpp.inc.

llzkVerif_IncludeOpGetCallee()

MlirAttribute llzkVerif_IncludeOpGetCallee

(

MlirOperation

op

)

Get Callee attribute from llzk::verif::IncludeOp Operation.

Definition at line 233 of file Ops.capi.cpp.inc.

llzkVerif_IncludeOpGetMapOperandsAt()

MlirValue llzkVerif_IncludeOpGetMapOperandsAt	(	MlirOperation	op,
		intptr_t	index )

Get MapOperands operand at index from llzk::verif::IncludeOp Operation.

Definition at line 190 of file Ops.capi.cpp.inc.

llzkVerif_IncludeOpGetMapOperandsCount()

intptr_t llzkVerif_IncludeOpGetMapOperandsCount

(

MlirOperation

op

)

Get number of MapOperands operands in llzk::verif::IncludeOp Operation.

Definition at line 185 of file Ops.capi.cpp.inc.

llzkVerif_IncludeOpGetMapOpGroupSizes()

MlirAttribute llzkVerif_IncludeOpGetMapOpGroupSizes

(

MlirOperation

op

)

Get MapOpGroupSizes attribute from llzk::verif::IncludeOp Operation.

Definition at line 257 of file Ops.capi.cpp.inc.

llzkVerif_IncludeOpGetNumDimsPerMap()

MlirAttribute llzkVerif_IncludeOpGetNumDimsPerMap

(

MlirOperation

op

)

Get NumDimsPerMap attribute from llzk::verif::IncludeOp Operation.

Definition at line 249 of file Ops.capi.cpp.inc.

llzkVerif_IncludeOpGetSelfValue()

MlirValue llzkVerif_IncludeOpGetSelfValue

(

MlirOperation

inp

)

Return the "self" value (i.e.

the first parameter) from the callee contract, assuming the target of the contract is a struct target.

Definition at line 269 of file Ops.capi.cpp.inc.

llzkVerif_IncludeOpGetTemplateParams()

MlirAttribute llzkVerif_IncludeOpGetTemplateParams

(

MlirOperation

op

)

Get TemplateParams attribute from llzk::verif::IncludeOp Operation.

Definition at line 241 of file Ops.capi.cpp.inc.

llzkVerif_IncludeOpGetTypeSignature()

MlirType llzkVerif_IncludeOpGetTypeSignature

(

MlirOperation

inp

)

Return the FunctionType inferred from the arg operands of this CallOp.

This is not necessarily the same as the callee's FunctionType but should unify with it or else IR verification will fail.

Definition at line 273 of file Ops.capi.cpp.inc.

llzkVerif_IncludeOpResolveCallable()

MlirOperation llzkVerif_IncludeOpResolveCallable

(

MlirOperation

inp

)

Required by CallOpInterface.

Definition at line 277 of file Ops.capi.cpp.inc.

llzkVerif_IncludeOpSetArgOperands()

void llzkVerif_IncludeOpSetArgOperands	(	MlirOperation	op,
		intptr_t	count,
		MlirValue const *	values )

Set ArgOperands operands of llzk::verif::IncludeOp Operation.

Definition at line 175 of file Ops.capi.cpp.inc.

llzkVerif_IncludeOpSetCallee()

void llzkVerif_IncludeOpSetCallee	(	MlirOperation	op,
		MlirAttribute	attr )

Set Callee attribute of llzk::verif::IncludeOp Operation.

Definition at line 237 of file Ops.capi.cpp.inc.

llzkVerif_IncludeOpSetMapOperands()

void llzkVerif_IncludeOpSetMapOperands	(	MlirOperation	op,
		intptr_t	groupCount,
		MlirValueRange const *	groups )

Set MapOperands operand groups of llzk::verif::IncludeOp Operation.

Each element of groups represents one group; its size field drives the per-group segment-size attribute and values supplies the operands for that group.

Definition at line 200 of file Ops.capi.cpp.inc.

llzkVerif_IncludeOpSetMapOpGroupSizes()

void llzkVerif_IncludeOpSetMapOpGroupSizes	(	MlirOperation	op,
		MlirAttribute	attr )

Set MapOpGroupSizes attribute of llzk::verif::IncludeOp Operation.

Definition at line 261 of file Ops.capi.cpp.inc.

llzkVerif_IncludeOpSetNumDimsPerMap()

void llzkVerif_IncludeOpSetNumDimsPerMap	(	MlirOperation	op,
		MlirAttribute	attr )

Set NumDimsPerMap attribute of llzk::verif::IncludeOp Operation.

Definition at line 253 of file Ops.capi.cpp.inc.

llzkVerif_IncludeOpSetTemplateParams()

void llzkVerif_IncludeOpSetTemplateParams	(	MlirOperation	op,
		MlirAttribute	attr )

Set TemplateParams attribute of llzk::verif::IncludeOp Operation.

Definition at line 245 of file Ops.capi.cpp.inc.

llzkVerif_RequireComputeOpBuild()

MlirOperation llzkVerif_RequireComputeOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	condition )

Build a llzk::verif::RequireComputeOp Operation.

Definition at line 281 of file Ops.capi.cpp.inc.

llzkVerif_RequireComputeOpGetCondition()

MlirValue llzkVerif_RequireComputeOpGetCondition

(

MlirOperation

op

)

Get Condition operand from llzk::verif::RequireComputeOp Operation.

Definition at line 292 of file Ops.capi.cpp.inc.

llzkVerif_RequireComputeOpSetCondition()

void llzkVerif_RequireComputeOpSetCondition	(	MlirOperation	op,
		MlirValue	value )

Set Condition operand of llzk::verif::RequireComputeOp Operation.

Definition at line 302 of file Ops.capi.cpp.inc.

llzkVerif_RequireConstrainOpBuild()

MlirOperation llzkVerif_RequireConstrainOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	condition )

Build a llzk::verif::RequireConstrainOp Operation.

Definition at line 312 of file Ops.capi.cpp.inc.

llzkVerif_RequireConstrainOpGetCondition()

MlirValue llzkVerif_RequireConstrainOpGetCondition

(

MlirOperation

op

)

Get Condition operand from llzk::verif::RequireConstrainOp Operation.

Definition at line 323 of file Ops.capi.cpp.inc.

llzkVerif_RequireConstrainOpSetCondition()

void llzkVerif_RequireConstrainOpSetCondition	(	MlirOperation	op,
		MlirValue	value )

Set Condition operand of llzk::verif::RequireConstrainOp Operation.

Definition at line 333 of file Ops.capi.cpp.inc.