module lang::php::semantics::shared::StoreModel

rascal-0.42.0

org.rascalmpl.php-analysis-0.3.3

Usage

import lang::php::semantics::shared::StoreModel;

Dependencies

import lang::php::semantics::shared::Value;

alias Loc

int

alias Mem

map[Loc,Value]