module Data.ByteString;

import Anoma.Prelude open;

ByteString : Type := List Nat;

syntax alias none := nil;