Module Cil_datatype.Funspec

module Funspec: S  with type t = funspec