Up
–
frama-c
»
Frama_c_kernel
»
Lmap
»
Make_LOffset
» Make_Narrow
Module
Make_LOffset.Make_Narrow
Parameters
Signature
Parameters
module
_
:
sig
...
end
Signature
val
narrow :
t
->
t
->
t