GivenInformation typedef

GivenInformation = Map<String, String>

A map that helps binding generic terminals

Implementation

typedef GivenInformation = Map<String, String>;