Train.CDSL
val half : Ir.Ops.prec
val single : Ir.Ops.prec
val double : Ir.Ops.prec
val virtualize_settings : Ir.Low_level.virtualize_settings
val enable_all_debugs : ?debug_logs:bool -> ?hosted_only:bool -> unit -> unit
val disable_all_debugs : ?restore_defaults:bool -> unit -> unit