Logical
module Type : sig ... end
module Value : sig ... end
module State : sig ... end
module Goal : sig ... end