Synext.LF
module Kind : sig ... end
External LF kinds.
module Typ : sig ... end
External LF types.
module Term : sig ... end
External LF terms.