ch.usi.dag.disl.dynamiccontext

Interface DynamicContext