Exact
Modules which implement the previous signature for each field of <t>
type forward = I.t
module Forward : sig ... end
module Backward : sig ... end
Frama-C