module CInfo: sig .. end
sig
end
val name : string
string
val dependencies : State.t list
State.t list
val size : int
int