Module Cil_datatype.Funbehavior

module Funbehavior: S  with type t = funbehavior