Module type Initialization.S

module type S = sig .. end

type state 
val initial_state : unit -> state Bottom.Type.or_bottom
val initial_state_with_formals : Cil_types.kernel_function -> state Bottom.Type.or_bottom