message: Move locals to a more logical place in module
diff: @@ -112,18 +112,6 @@ impl Term {
  }
  }
  -/// The local value environment.
  -pub struct Locals {
  - // TODO: values,
  -}
  -
  -impl Locals {
  - /// Create a new local environment.
  - pub fn new() -> Locals {
  - Locals {}
  - }
  -}
  -
  /// Values in the core language.
  #[derive(Clone, Debug, PartialEq)]
  pub enum Value {
  @@ -263,6 +251,18 @@ impl Default for Globals {
  }
  }
  +/// The local value environment.
  +pub struct Locals {
  + // TODO: values,
  +}
  +
  +impl Locals {
  + /// Create a new local environment.
  + pub fn new() -> Locals {
  + Locals {}
  + }
  +}
  +
  pub trait HasType {
  fn r#type() -> Arc<Value>;
  }
  