command export_json_instance

typeside t
schema s : t
instance i : s
----------------------------------
command (export_json_instance i ) : Optional.empty
	
Exports an instance as JSON

Appears in:

JSON

Options:

always_reload
num_threads
start_ids_at
talg_reduction
timeout