Transaction_snark.Zkapp_command_segment
module Spec : sig ... end
module Witness = Transaction_witness.Zkapp_command_segment_witness
module Basic : sig ... end