Module Transition

module Transition: sig .. end
Transition formulas.

module type Var = sig .. end
module Make: 
functor (C : sig
type t 
val context : t Syntax.context
end) ->
functor (Var : Var) -> sig .. end