Portal3dtype vec = Playground3d.number * Playground3d.number * Playground3d.numbertype t = {centre : vec;normal : vec;up : vec;width : Playground3d.number;height : Playground3d.number;}val carry : from:t -> into:t -> Physics3d.body -> Physics3d.body