package coq-serapi

  1. Overview
  2. Docs

Module Ser_tac2expr.ObjSSource

Sourcetype t = Stdlib.Obj.t
Sourceval name : string