Command_line_utils (gillian.Gillian.Utils.Command_line

val convert_other_imports : 
  ('a * ('b -> ('c, 'd) Stdlib.result)) list ->
  ('a * ('b -> 'c)) list

Strips results from an other-imports mapping, raising an exception in the Error case

val burn_gil : 
  init_data:Yojson.Safe.t ->
  pp_prog:(Stdlib.Format.formatter -> 'a -> unit) ->
  'a ->
  string option ->
  unit

Writes a GIL program to the specified filename