Up
–
frama-c
»
Frama_c_kernel
»
Cvalue
»
Model
» Make_Narrow
Module
Model.Make_Narrow
Parameters
Signature
Parameters
module
X
:
sig
...
end
Signature
val
narrow :
t
->
t
->
t