module Skeleton: sig end
sig end
skeleton
type skelState =
|
VIRGIN
CONFIGURED
ACTIVATED
class skeleton : object end
object end