Up – Index » goblint » Goblint_lib » SpecLifters » GlobalDomainLifter » N

Parameter `GlobalDomainLifter.N`

val lift_name : string -> string