gistfile1.txt

[(Import 
   {_importPrivacy = Private, 
    _importModule = mkModuleName "ermine" "Test", 
    _importAs = Nothing, 
    _importScope = Using [
       Explicit {_explicitGlobal = "x", _explicitIsType = False, _explicitLocal = Nothing},
       Explicit {_explicitGlobal = "y", _explicitIsType = False, _explicitLocal = Nothing}
    ]
   },
  
  Module 
    {mn = mkModuleName "ermine" "Test", 
     _moduleImports = [], 
     _moduleFixities = [], 
     _moduleData = [], 
     _moduleBindings = [(Public,"x",Binding {_bindingType = Implicit, _bindingBodies = Binding { _loc =            emptyRendering, _cases = [Body {_bodyPatterns = [], _bodyGuarded = Unguarded (Scope (App (Var (F (Var              "fromInteger"))) (HardTerm (Lit (Integer 5))))), _bodyWhere = []}]}})], 
     _moduleClasses = fromList []}
)]