ch.usi.dag.disl.guardcontext

Interface GuardContext