package rocq-runtime

  1. Overview
  2. Docs

Module Tacarg.InternalSource

Sourceval define_tacvalue : unit -> ('a -> tacvalue) * (tacvalue -> 'a)