Up – goblint » Goblint_lib » SpecLifters » ContextLifter » N

Parameter `ContextLifter.N`

val lift_name : string -> string