Up – goblint » Goblint_lib » SpecLifters » DomainLifter » N

Parameter `DomainLifter.N`

val lift_name : string -> string