module Anoma.Kind;

import Anoma.Prelude open;
import Data.ByteString open public;

syntax alias LogicHash := Nat;

syntax alias Kind := ByteString;