Train.CDSL
val half : Ocannl.Operation.DSL_modules.Ir.Ops.prec
val single : Ocannl.Operation.DSL_modules.Ir.Ops.prec
val double : Ocannl.Operation.DSL_modules.Ir.Ops.prec
val virtualize_settings :
Ocannl.Operation.DSL_modules.Ir.Low_level.virtualize_settings