package rfsm

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Rfsm.ResponseSource

Server->client responses

Sourcetype t =
  1. | Version of string
  2. | CompilationOk of string list
  3. | CompilationFailed of string
  4. | CheckingOk of string list * string list
  5. | CheckingFailed of string
  6. | Error of string
  7. | None
Sourceval to_string : t -> string