[[ "start", ["keyword","Red"], ["text"," "], ["paren.block-start","["], ["paren.block-end","]"] ],[ "start", ["variable.set-word","info:"], ["text"," "], ["keyword.native","func"], ["text"," "], ["paren.block-start","["], ["variable.lit-word","'fn"], ["text"," "], ["variable.refinement","/name"], ["text"," "], ["variable.refinement","/intro"], ["text"," "], ["variable.refinement","/args"], ["text"," "], ["variable.refinement","/refinements"], ["text"," "], ["keyword","/local"], ["text","s "], ["variable.refinement","/return"], ["text"," "], ["variable.refinement","/spec"], ["text"," "] ],[ "start", ["text","\t"], ["variable.refinement","/arg-num"], ["text"," "], ["variable.refinement","/arg-names"], ["text"," "], ["variable.refinement","/arg-types"], ["text"," "], ["variable.refinement","/ref-names"], ["text"," "], ["variable.refinement","/ref-types"], ["text"," "], ["variable.refinement","/ref-num"], ["text"," "], ["variable.refinement","/type"] ],[ "start", ["text","\t"], ["keyword","/local"], ["text"," "], ["variable.word","intr"], ["text"," "], ["variable.word","ars"], ["text"," "], ["variable.word","refs"], ["text"," "], ["variable.word","locs"], ["text"," "], ["variable.word","ret"], ["text"," "], ["variable.word","arg"], ["text"," "], ["variable.word","ref"], ["text"," "], ["variable.word","typ"] ],[ "start", ["paren.block-end","]"], ["paren.block-start","["] ],[ "start", ["text","\t"], ["variable.set-word","intr:"], ["text"," "], ["keyword.action","copy"], ["text"," "], ["string","\"\""], ["text"," "], ["variable.set-word","ars:"], ["text"," "], ["keyword.action","make"], ["text"," "], ["constant.datatype!","map!"], ["text"," "], ["keyword.action","copy"], ["text"," "], ["paren.block-start","["], ["paren.block-end","]"], ["text"," "], ["variable.set-word","refs:"], ["text"," "], ["keyword.action","make"], ["text"," "], ["constant.datatype!","map!"], ["text"," "], ["keyword.action","copy"], ["text"," "], ["paren.block-start","["], ["paren.block-end","]"], ["text"," "], ["variable.set-word","locs:"], ["text"," "], ["keyword.action","copy"], ["text"," "], ["paren.block-start","["], ["paren.block-end","]"], ["text"," "], ["variable.set-word","ret:"], ["text"," "], ["keyword.action","copy"], ["text"," "], ["paren.block-start","["], ["paren.block-end","]"], ["text"," "], ["variable.set-word","typ:"], ["text"," "], ["variable.set-word","ref-arg:"], ["text"," "], ["variable.set-word","ref-arg-type:"], ["text"," "], ["constant.language","none"] ],[ "start", ["text","\t"], ["keyword.control","if"], ["text"," "], ["keyword.function","lit-word?"], ["text"," "], ["variable.word","fn"], ["text"," "], ["paren.block-start","["], ["variable.set-word","fn:"], ["text"," "], ["keyword.function","to-word"], ["text"," "], ["variable.word","fn"], ["paren.block-end","]"] ],[ "start", ["text","\t"], ["keyword.control","unless"], ["text"," "], ["keyword.action","find"], ["text"," "], ["paren.block-start","["], ["constant.datatype!","op!"], ["text"," "], ["constant.datatype!","native!"], ["text"," "], ["constant.datatype!","function!"], ["text"," "], ["constant.datatype!","action!"], ["paren.block-end","]"], ["text"," "], ["keyword.native","type?"], ["variable.refinement","/word"], ["text"," "], ["keyword.native","get"], ["text"," "], ["variable.word","fn"], ["text"," "], ["paren.block-start","["] ],[ "start", ["text","\t\t"], ["keyword.function","cause-error"], ["text"," "], ["variable.lit-word","'user"], ["text"," "], ["variable.lit-word","'message"], ["text"," "], ["paren.block-start","["], ["string","\"Only function types accepted!\""], ["paren.block-end","]"] ],[ "start", ["text","\t"], ["paren.block-end","]"] ],[ "start", ["text","\t"], ["variable.set-word","out:"], ["text"," "], ["keyword.action","make"], ["text"," "], ["constant.datatype!","map!"], ["text"," "], ["keyword.action","copy"], ["text"," "], ["paren.block-start","["], ["paren.block-end","]"] ],[ "start", ["text","\t"], ["variable.set-word","specs:"], ["text"," "], ["keyword.function","spec-of"], ["text"," "], ["keyword.native","get"], ["text"," "], ["variable.word","fn"], ["text"," "] ],[ "start", ["text","\t"], ["keyword.native","parse"], ["text"," "], ["variable.word","specs"], ["text"," "], ["paren.block-start","["] ],[ "start", ["text","\t\t"], ["variable.word","opt"], ["text"," "], ["paren.block-start","["], ["keyword.native","set"], ["text"," "], ["variable.word","intr"], ["text"," "], ["constant.datatype!","string!"], ["paren.block-end","]"] ],[ "start", ["text","\t\t"], ["keyword.native","any"], ["text"," "], ["paren.block-start","["], ["keyword.native","set"], ["text"," "], ["variable.word","arg"], ["text"," "], ["paren.block-start","["], ["constant.datatype!","word!"], ["text"," | "], ["constant.datatype!","lit-word!"], ["paren.block-end","]"], ["text"," "], ["variable.word","opt"], ["text"," "], ["paren.block-start","["], ["keyword.native","set"], ["text"," "], ["variable.word","typ"], ["text"," "], ["constant.datatype!","block!"], ["paren.block-end","]"], ["text"," "], ["variable.word","opt"], ["text"," "], ["constant.datatype!","string!"], ["text"," "], ["paren.parens-start","("], ["keyword.action","put"], ["text"," "], ["variable.word","ars"], ["text"," "], ["variable.word","arg"], ["text"," "], ["keyword.control","either"], ["text"," "], ["variable.word","typ"], ["text"," "], ["paren.block-start","["], ["variable.word","typ"], ["paren.block-end","]"], ["paren.block-start","[["], ["constant.datatype!","any-type!"], ["paren.block-end","]]"], ["paren.parens-end",")"], ["paren.block-end","]"] ],[ "start", ["text","\t\t"], ["keyword.native","any"], ["text"," "], ["paren.block-start","["], ["keyword.native","set"], ["text"," "], ["variable.word","ref"], ["text"," "], ["constant.datatype!","refinement!"], ["text"," "], ["paren.block-start","["] ],[ "start", ["text","\t\t\t"], ["keyword.control","if"], ["text"," "], ["paren.parens-start","("], ["variable.word","ref"], ["keyword.operator"," <> "], ["keyword","/local"], ["paren.parens-end",")"], ["text"," "], ["paren.parens-start","("], ["keyword.action","put"], ["text"," "], ["variable.word","refs"], ["text"," "], ["keyword.function","to-lit-word"], ["text"," "], ["variable.word","ref"], ["text"," "], ["keyword.action","make"], ["text"," "], ["constant.datatype!","map!"], ["text"," "], ["keyword.action","copy"], ["text"," "], ["paren.block-start","["], ["paren.block-end","]"], ["paren.parens-end",")"], ["text"," "] ],[ "start", ["text","\t\t\t\t"], ["variable.word","opt"], ["text"," "], ["constant.datatype!","string!"], ["text"," "] ],[ "start", ["text","\t\t\t\t"], ["keyword.native","any"], ["text"," "], ["paren.block-start","["], ["keyword.native","set"], ["text"," "], ["variable.word","ref-arg"], ["text"," "], ["constant.datatype!","word!"], ["text"," "], ["variable.word","opt"], ["text"," "], ["paren.block-start","["], ["keyword.native","set"], ["text"," "], ["variable.word","ref-arg-type"], ["text"," "], ["constant.datatype!","block!"], ["paren.block-end","]"], ["text"," "] ],[ "start", ["text","\t\t\t\t\t"], ["paren.parens-start","("], ["keyword.action","put"], ["text"," "], ["variable.word","refs"], ["text","/"], ["paren.parens-start","("], ["keyword.function","to-word"], ["text"," "], ["variable.word","ref"], ["paren.parens-end",")"], ["text"," "], ["keyword.function","to-lit-word"], ["text"," "], ["variable.word","ref-arg"], ["text"," "], ["keyword.control","either"], ["text"," "], ["variable.word","ref-arg-type"], ["text"," "], ["paren.block-start","["], ["variable.word","ref-arg-type"], ["paren.block-end","]"], ["paren.block-start","[["], ["constant.datatype!","any-type!"], ["paren.block-end","]]"], ["paren.parens-end",")"] ],[ "start", ["text","\t\t\t\t"], ["paren.block-end","]"] ],[ "start", ["text","\t\t\t|\t"], ["keyword.native","any"], ["text"," "], ["paren.block-start","["], ["keyword.native","set"], ["text"," "], ["variable.word","loc"], ["text"," "], ["constant.datatype!","word!"], ["text"," "], ["paren.parens-start","("], ["keyword.action","append"], ["text"," "], ["variable.word","locs"], ["text"," "], ["variable.word","loc"], ["paren.parens-end",")"], ["text"," "], ["variable.word","opt"], ["text"," "], ["constant.datatype!","string!"], ["paren.block-end","]"], ["text"," "] ],[ "start", ["text","\t\t\t\t"], ["variable.word","opt"], ["text"," "], ["paren.block-start","["], ["constant.datatype!","set-word!"], ["text"," "], ["keyword.native","set"], ["text"," "], ["variable.word","ret"], ["text"," "], ["constant.datatype!","block!"], ["paren.block-end","]"] ],[ "start", ["text","\t\t"], ["paren.block-end","]]"] ],[ "start", ["text","\t\t"] ],[ "start", ["text","\t\t"], ["paren.parens-start","("] ],[ "start", ["text","\t\t"], ["variable.set-word","out:"], ["text"," "], ["keyword.control","case"], ["text"," "], ["paren.block-start","["] ],[ "start", ["text","\t\t\t"], ["keyword.view.option","name"], ["text","\t\t"], ["paren.block-start","["], ["keyword.function","to-word"], ["text"," "], ["variable.word","fn"], ["paren.block-end","]"] ],[ "start", ["text","\t\t\t"], ["variable.word","intro"], ["text"," \t\t"], ["paren.block-start","["], ["variable.word","intr"], ["paren.block-end","]"], ["text"," "] ],[ "start", ["text","\t\t\t"], ["variable.word","args"], ["text","\t\t"], ["paren.block-start","["], ["variable.word","ars"], ["paren.block-end","]"] ],[ "start", ["text","\t\t\t"], ["variable.word","arg-num"], ["text","\t\t"], ["paren.block-start","["], ["keyword.action","length?"], ["text"," "], ["variable.word","ars"], ["paren.block-end","]"] ],[ "start", ["text","\t\t\t"], ["variable.word","arg-names"], ["text"," \t"], ["paren.block-start","["], ["keyword.action","copy"], ["text"," "], ["keyword.function","keys-of"], ["text"," "], ["variable.word","ars"], ["paren.block-end","]"], ["text"," "] ],[ "start", ["text","\t\t\t"], ["variable.word","arg-types"], ["text","\t"], ["paren.block-start","["], ["keyword.action","copy"], ["text"," "], ["keyword.function","values-of"], ["text"," "], ["variable.word","ars"], ["paren.block-end","]"] ],[ "start", ["text","\t\t\t"], ["variable.word","refinements"], ["text"," "], ["paren.block-start","["], ["variable.word","refs"], ["paren.block-end","]"], ["text"," "] ],[ "start", ["text","\t\t\t"], ["variable.word","ref-names"], ["text","\t"], ["paren.block-start","["], ["keyword.action","copy"], ["text"," "], ["keyword.function","keys-of"], ["text"," "], ["variable.word","refs"], ["paren.block-end","]"] ],[ "start", ["text","\t\t\t"], ["variable.word","ref-types"], ["text","\t"], ["paren.block-start","["], ["keyword.action","copy"], ["text"," "], ["keyword.function","values-of"], ["text"," "], ["variable.word","refs"], ["paren.block-end","]"] ],[ "start", ["text","\t\t\t"], ["variable.word","ref-num"], ["text","\t\t"], ["paren.block-start","["], ["keyword.action","length?"], ["text"," "], ["variable.word","refs"], ["paren.block-end","]"] ],[ "start", ["text","\t\t\t"], ["variable.word","locals"], ["text"," \t\t"], ["paren.block-start","["], ["variable.word","locs"], ["paren.block-end","]"], ["text"," "] ],[ "start", ["text","\t\t\t"], ["keyword.control","return"], ["text"," \t\t"], ["paren.block-start","["], ["variable.word","ret"], ["paren.block-end","]"] ],[ "start", ["text","\t\t\t"], ["variable.word","spec"], ["text","\t\t"], ["paren.block-start","["], ["variable.word","specs"], ["paren.block-end","]"] ],[ "start", ["text","\t\t\t"], ["constant.language","true"], ["text"," \t\t"], ["paren.block-start","["] ],[ "start", ["text","\t\t\t\t"], ["keyword.action","make"], ["text"," "], ["constant.datatype!","object!"], ["text"," "], ["paren.block-start","["] ],[ "start", ["text","\t\t\t\t\t"], ["keyword.view.option","name"], ["text",": \t\t"], ["keyword.function","to-word"], ["text"," "], ["variable.word","fn"], ["text"," "] ],[ "start", ["text","\t\t\t\t\t"], ["variable.set-word","intro:"], ["text"," \t\t"], ["variable.word","intr"], ["text"," "] ],[ "start", ["text","\t\t\t\t\t"], ["variable.set-word","args:"], ["text"," \t\t"], ["variable.word","ars"], ["text"," "] ],[ "start", ["text","\t\t\t\t\t"], ["variable.set-word","refinements:"], ["text"," "], ["variable.word","refs"], ["text"," "] ],[ "start", ["text","\t\t\t\t\t"], ["variable.set-word","locals:"], ["text"," \t"], ["variable.word","locs"], ["text"," "] ],[ "start", ["text","\t\t\t\t\t"], ["keyword.control","return"], ["text",": \t"], ["variable.word","ret"], ["text"," "] ],[ "start", ["text","\t\t\t\t\t"], ["variable.set-word","spec:"], ["text"," \t\t"], ["variable.word","specs"], ["text"," "] ],[ "start", ["text","\t\t\t\t\t"], ["variable.set-word","type:"], ["text"," \t\t"], ["keyword.native","type?"], ["text"," "], ["keyword.native","get"], ["text"," "], ["variable.word","fn"] ],[ "start", ["text","\t\t\t\t\t"], ["variable.set-word","arg-num:"], ["text"," \t"], ["keyword.action","length?"], ["text"," "], ["variable.word","args"] ],[ "start", ["text","\t\t\t\t\t"], ["variable.set-word","arg-names:"], ["text"," \t"], ["keyword.action","copy"], ["text"," "], ["keyword.function","keys-of"], ["text"," "], ["variable.word","args"] ],[ "start", ["text","\t\t\t\t\t"], ["variable.set-word","arg-types:"], ["text"," \t"], ["keyword.action","copy"], ["text"," "], ["keyword.function","values-of"], ["text"," "], ["variable.word","args"] ],[ "start", ["text","\t\t\t\t\t"], ["variable.set-word","ref-names:"], ["text"," \t"], ["keyword.action","copy"], ["text"," "], ["keyword.function","keys-of"], ["text"," "], ["variable.word","refinements"] ],[ "start", ["text","\t\t\t\t\t"], ["variable.set-word","ref-types:"], ["text"," \t"], ["keyword.action","copy"], ["text"," "], ["keyword.function","values-of"], ["text"," "], ["variable.word","refinements"] ],[ "start", ["text","\t\t\t\t\t"], ["variable.set-word","ref-num:"], ["text","\t"], ["keyword.action","length?"], ["text"," "], ["variable.word","refinements"] ],[ "start", ["text","\t\t\t\t"], ["paren.block-end","]"] ],[ "start", ["text","\t\t\t"], ["paren.block-end","]"] ],[ "start", ["text","\t\t"], ["paren.block-end","]"], ["paren.parens-end",")"] ],[ "start", ["text","\t"], ["paren.block-end","]"] ],[ "start", ["text","\t"], ["variable.word","out"] ],[ "start", ["paren.block-end","]"] ],[ "start" ]]