package coq-core

  1. Overview
  2. Docs

Module Tuto0_plugin.G_tuto0Source

Sourceval tuto_warn : ?loc:??? -> unit -> unit