voqc

A verified optimizer for quantum circuits (VOQC)
Library voqc
val list_nats : int -> int option -> int list

val merge_path : int list -> int list -> int list *

val merge_path : 'a list -> 'b list -> 'b list

val interleave : int list -> int list -> int list *

val interleave : 'a list -> 'a list -> 'a list
module LNN : sig ... end

val is_in_graph : int -> int -> int -> bool *

module LNNRing : sig ... end

val is_in_graph : int -> int -> int -> bool *

module Grid : sig ... end

val is_in_graph : int -> int -> int -> int -> bool *