SIGNATURE beer IMPORT Nat ONLY nat Denotation ONLY denotation FUN bofb: nat -> denotation