Identity.1-X
type _ from
type _ term
val forward : 'a from -> 'a term
val backward : 'a term -> 'a from