You can search for identifiers within the package.
in-package search v0.2.0
type t
type 'a encoding
val construct : 'a encoding -> 'a -> t
val destruct : 'a encoding -> t -> 'a