Previous
Up
Next
Module
Cil_datatype.Funspec
module
Funspec:
S
with type t = funspec