Right now, GPU constructs that need to be accessed by the typechecker (resource_computation) are defined alongside everything else in resource_formula.ml, resource_contract.ml, etc. They are also added to the default context. They should be isolated into their own module, and only pulled in when optitrust_gpu.h is included, etc.
Right now, GPU constructs that need to be accessed by the typechecker (
resource_computation) are defined alongside everything else inresource_formula.ml,resource_contract.ml, etc. They are also added to the default context. They should be isolated into their own module, and only pulled in whenoptitrust_gpu.his included, etc.resource_formulainto aGpusubmodule with internal module-level documentation (link to external explanation of GPU constructs) : https://github.com/charguer/optitrust/pull/34/changes/BASE..3646acec5070b1712adeeb391cbfc59c5916d235#r2731031912