Interpreter.Device
type t
type id = int
val init : unit -> unit
val count : unit -> int
val get : int -> t
val id : t -> id
val name : t -> string
val is_parallel : t -> bool
val capabilities : t -> Spoc_framework.Framework_sig.capabilities
val set_current : t -> unit
val current : t option Stdlib.ref
val synchronize : t -> unit