blob: 728c25b3b0f6bf7d375ca64a6b836d28ecb159c3 [file] [log] [blame]
open Swig
open Abstract_typedef
let e = new_Engine '()
let a = new_A '()
let _ = assert ((a -> "write" (e) as bool) = true)