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