Module Simulator.Make

Parameters

Signature

val call_simulation : log_file:string -> input_encoder: ('a -> (string list, Mavryk_base.TzPervasives.tztrace) Stdlib.result) -> input:'b -> (bytes, Mavryk_base.TzPervasives.tztrace) Stdlib.result Lwt.t
val is_tx_valid : string -> ((Simulation.validation_result, string) Stdlib.result, Mavryk_base.TzPervasives.tztrace) Stdlib.result Lwt.t