Up – goblint » Goblint_lib » SpecLifters » HashconsLifter » HConsedArg

Module `HashconsLifter.HConsedArg`

val assume_idempotent : bool