LocalValue Constructor

public LocalValue(
   Fun_header defined_in,
   string name,
   TyVar ty,
   Kind kind,
   bool is_mutable
);