Copilot.Core.Spec.Locals

Documentation

data Loc

Constructors

forall a . Loc

Fields

localName :: Name

localType :: Type a

Instances

Show Loc

locals :: Spec -> [Loc]