Module Cgil_lib.Generators

val gen_id : unit -> int

generates a new random id

val gen_str : fname:string -> string -> string

Generates a new string with prefix gen_str fname pre

  • parameter fname

    Function name, context in which you create labels and variables

  • parameter pre

    Prefix for the variable/label name

val reset : unit -> unit