F32.acos: law of Base Import: import Base Lines 1760-1762 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=1760&end_line=1762 import Base law F32.acos: for a: F32 F32 Uses (1): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32