Up
–
frama-c-wp
»
Wp
»
Ptip
» term_wrapper
Class type
Ptip.term_wrapper
method
wrap :
F.term
printer
->
F.term
printer