type t
=
|
Intf
Impl
val of_filename : string ‑> t option
val describe : t ‑> string
val equal : t ‑> t ‑> bool