Frama-C:
Plug-ins:
Libraries:

Frama-C API - Mt_register

type update_check =
  1. | Ok
  2. | Invalid of string * bool
module type Key_sig = sig ... end
module type Status_sig = sig ... end
module Make (Key : Key_sig) (Status : Status_sig) : sig ... end