package coqide-server

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
method popped : callback:('a -> ('a list * 'a list) option -> unit) -> unit
method pushed : callback:('a -> ('a list * 'a list) option -> unit) -> unit