module B ||| Test function public export test : () test = ()