mirror of
https://github.com/github/semantic.git
synced 2024-12-25 07:55:12 +03:00
📝 CellFor.
This commit is contained in:
parent
6c0a818269
commit
e1885469c1
@ -81,6 +81,7 @@ type EnvironmentFor v = Environment (LocationFor v) v
|
||||
-- | The store for an abstract value type.
|
||||
type StoreFor v = Store (LocationFor v) v
|
||||
|
||||
-- | The cell for an abstract value type.
|
||||
type CellFor value = Cell (LocationFor value) value
|
||||
|
||||
-- | The location type (the body of 'Address'es) which should be used for an abstract value type.
|
||||
|
Loading…
Reference in New Issue
Block a user