Anoma.Kind
Contents
import Data.ByteString open public
syntax alias LogicHash := NatSource#
syntax alias Kind := ByteStringSource#
