(.require [library [lux (.except) [data ["[0]" text (.only \n) ["%" \\format (.only format)]]]]] [\\library ["[0]" /]]) (with_expansions [ (/.definition /.definition) (/.definition /.definition "" []) (/.definition /.definition "" []) (these (/.definition /.unqualified_symbol) (/.definition /.Definition) (/.definition /.Module) (/.definition /.definition) )] (.def .public documentation (.List /.Module) (/.module /._ "" [ (/.definition /.module "" [(is (.List /.Module) (module /._ "" [] []))])] [])))