Hithroc

{-# LANGUAGE UndecidableSuperClasses, FunctionalDependencies, RoleAnnotations, ExplicitNamespaces, TypeFamilies, RankNTypes, TypeApplications, LambdaCase, DerivingStrategies, ScopedTypeVariables, TypeOperators, DataKinds, PolyKinds, GADTs, TypeFamilyDependencies, ConstraintKinds, UndecidableInstances, TypeSynonymInstances, FlexibleInstances, DeriveGeneric, AllowAmbiguousTypes, StrictData #-}
{-# OPTIONS_GHC -Wno-redundant-constraints -Wno-overlapping-patterns -Wno-incomplete-patterns
   -Weverything #-}

{- | Module, containing restrictions imposed by instruction or value scope.

Michelson have multiple restrictions on values, examples:
* @operation@ type cannot appear in parameter.
* @big_map@ type cannot appear in @PUSH@-able constants.
* @contract@ type cannot appear in type we @UNPACK@ to.

Hithroc

Please publicly post the following Gist, and name it keybase.md

Keybase proof

I hereby claim:

• I am hithroc on github.
• I am hithroc (https://keybase.io/hithroc) on keybase.
• I have a public key ASC-VTfAc_xTQhZ_PL7mWTqOkKdZj0CUEc2lvQ1gfPEl1Ao