(requires: x > = 0)
let rec even x:=
x = 0 || odd (x - 1)
return 'even'
(requires: x > = 0)
let odd x:=
x < > 0 && even (x - 1)
return 'odd'

இனக்குழு அறிவிப்பானது வெளிப்புற இடைமுகத்தோடு அதன் உள்ளமை நிலை அந்த இடைமுகத்தைச் செயல்படுத்தும் செயல்பாட்டுடன் பண்புகளை உடைய குறிமுறை இணைக்கிறது.

let min 3 xyz:=
if x < y then
if x < z then x else z
else
if y < z then y else z

(requires: b>0)
(returns:a to power of b)
let rec pow (a:int)(b:int):int:=
if b=0 then I 
else a*pow b(a-1)

செயற்கூறுக்கு அளபுருக்களை அனுப்பாத போதும், செயற்கூறின் உள்ளே உள்ள மாறியானது பக்க விளைவுகளை ஏற்படுத்தும். இந்த வகைச் செயற்கூறு impure எனப்படும்.

1) செயற்கூறு என்பது குறிமுறையின் ஒரு அலகு ஆகும். இது பெரும்பாலும் ஒரு பெரிய குறிமுறை கட்டமைப்பில் வரையறுக்கப்படும்.
2) செயற்கூறானது பல வகை உள்ளீடுகளைக் கொண்டு செயல்பட்டு நிலையினை வெளியீட்டைத் தருகிறது.

(i) x:=78 ஒரு செயற்கூறு வரையறை ஆகும். வரையறைகள், மதிப்புகளைப் பெயருடன் பிணைக்கின்றன.
(ii) இங்கு 78 என்ற மதிப்பு 'X' என்ற பெயருடன் பிணைக்கப்படுகின்றது. வரையறைகள் கோவைகள் அல்ல. அதே நேரத்தில் கோவைகளை வரையறை எனக் கருதக் கூடாது. வரையறைகள் தனித்தன்மையான தொடரியல் தொகுதிகளைக் கொண்டதாகும்.
(iii) வரையறைகள் உள்ளமைவாக உள்ள கோவைகளைக் கொண்டதாகவோ அல்லது நேர்மாறாகவும் இருக்கலாம்.

செயற்கூறு என்பது ஒரு பெரிய நிரலில் வரையறுக்கப்படும் ஒரு குறிமுறை அலகு ஆகும். செயற்கூறுகள், நிலையான வெளியீட்டை வழங்குவதற்கான மாறிகள், கோவைகள் போன்ற பலவகையான உள்ளீடுகளின் மீது செயல்படும் குறிமுறை தொகுதிகளை கொண்டிருக்கும்.

துணை நிரல்கள் கணினி மொழிகளின் அடிப்படைக் கட்டுமான தொகுதியாக விளங்குகின்றன. துணை நிரல்கள் என்பன ஒரு குறிப்பிட்ட செயலை மீண்டும் மீண்டும் செய்யப் பயன்படும் சிறிய நிரல் தொகுதியாகும். நிரலாக்க மொழிகளில் இத்துணை நிரல்கள் செயற்கூறுகள் (Functions) என்று அழைக்கப்படுகின்றன.