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