package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type !'a common = [
  1. | `Common of int * int * 'a
]
type !'a edit = [
  1. | `Added of int * 'a
  2. | `Common of int * int * 'a
  3. | `Removed of int * 'a
]
module type SeqType = sig ... end
module type S = sig ... end
module Make (M : SeqType) : sig ... end