The latest version of crucible is 0.7.1-1.

Lang.Crucible.Syntax

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