package coq

  1. Overview
  2. Docs

Parameters

module A : sig ... end

Signature

val active : string -> bool
val elements : unit -> string list
OCaml

Innovation. Community. Security.