\SetAlgoLined \SetKwProg{Fn}{Function}{ is}{end} \Fn{afunc(i: int) : int}{return 0\;} \SetKwProg{Def}{def}{:}{} \Def{afunc(i: int)}{return 0\;}