remove_logic_definition.ml 2.09 KB