The latest version of crucible is 0.7.1-1.

Lang.Crucible.Simulator.GlobalState

Monadoc does not yet provide module details. Would you like to view this module on Hackage instead?