module type S = sig .. end
sig
end
type state
val initial_state : unit -> state Bottom.Type.or_bottom
unit -> state Bottom.Type.or_bottom
val initial_state_with_formals : Cil_types.kernel_function -> state Bottom.Type.or_bottom
Cil_types.kernel_function -> state Bottom.Type.or_bottom