gillian » Gillian » Utils » Command_line_utils

Module Utils.Command_line_utils

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