let
nop (() : unit) : unit = ()