package coq

  1. Overview
  2. Docs

Module Nsatz_plugin.UtileSource

Sourceval pr : string -> unit
Sourceval prt0 : 'a -> unit
Sourceval info : (unit -> string) -> unit
Sourceval sinfo : string -> unit