Module Core.Dim

module Make (Symbol : Basis.Symbol.S) : sig ... end