Module Cil_datatype.Funspec

module Funspec: S_with_pretty  with type t = funspec

include S