GrGen.NET v4.4 API: the libGr class library (the type exact interface gets generated)
CheckProcedureCall Method (seq)
Helper for checking procedure calls. Checks whether called entity exists, type checks the input, type checks the output. Throws an exception when an error is found.
Declaration Syntax
public void CheckProcedureCall(
	SequenceComputation seq
seq (SequenceComputation)
The sequence computation to check, must be a procedure call

Assembly: libGr (Module: libGr) Version: (