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