juvix-docs - 0.0.0

Anoma.Kind

Definitions

import Data.ByteString open public

syntax alias LogicHash := NatSource#

syntax alias Kind := ByteStringSource#