Imandra_protocol.Abstractor
type fsm = Imandra_surface.Abstractor.FSM.t
val pp_fsm : Ppx_deriving_runtime.Format.formatter -> fsm -> Ppx_deriving_runtime.unit
val show_fsm : fsm -> Ppx_deriving_runtime.string
module Query : sig ... end
module Response : sig ... end