module type Trans_base = sig .. end
sig
end
type 'a from
'a
type 'a term
val fwd : 'a from -> 'a term
'a from -> 'a term
val bwd : 'a term -> 'a from
'a term -> 'a from