Loggable (gillian.Logging.Loggable)

type t = Gillian.Logging.Loggable.t

val pp : t -> Stdlib.Format.formatter -> unit

val loggable_to_yojson : t -> Yojson.Safe.t

val make : 
  (Stdlib.Format.formatter -> 'a -> unit) ->
  (Yojson.Safe.t -> ('a, string) Stdlib.result) ->
  ('a -> Yojson.Safe.t) ->
  'a ->
  t

val make_string : string -> t

Returns a simple loggable of a string