BRep.to_json

BRep.to_json(filepath: str)[source]

Export the BRep to a JSON file.