Nusmv.Circuit_properties
type ('i, 'o) t
val inputs : ( 'i, 'o ) t -> 'i
val outputs : ( 'i, 'o ) t -> 'o