Module Ligo_lib

val get : unit -> string