val bin_shape_query : Core.Bin_prot.Shape.tval bin_size_query : query Core.Bin_prot.Size.sizerval bin_write_query : query Core.Bin_prot.Write.writerval bin_writer_query : query Core.Bin_prot.Type_class.writerval bin_read_query : query Core.Bin_prot.Read.readerval __bin_read_query__ : (int -> query) Core.Bin_prot.Read.readerval bin_reader_query : query Core.Bin_prot.Type_class.readerval bin_query : query Core.Bin_prot.Type_class.tmodule State : sig ... endmodule Update : sig ... endval query_of_caller_model : Model.Caller.query -> queryval callee_model_of_query : query -> Model.Callee.queryval state_of_callee_model : Model.Callee.state -> stateval caller_model_of_state : state -> Model.Caller.stateval update_of_callee_model : Model.Callee.update -> updateval caller_model_of_update : update -> Model.Caller.update