Type Input p [...] ] OF IInput
returns the number of [...] Out: Scope Name Type
ARRAY OF BYTE that [...] Out: Scope Name Type
number of words that [...] Out: Scope Name Type
Name Type Return SMC [...] ] OF LREAL
Type Return VPoly [...] [0..1] OF SM3M.SMC_Vec
) distance of two angles [...] Out: Scope Name Type
euclidean norm of a [...] Name Type Inout
euclidean norm of a [...] Name Type Inout
maximum norm of a [...] Name Type Return SMC