package Snowflake

  1. Overview
  2. Docs
val opmin : (GuaCaml.BTools.BNat.nat * 'a) option -> (GuaCaml.BTools.BNat.nat * 'a) -> (GuaCaml.BTools.BNat.nat * 'a) option
val find_best : GuaCaml.GraphHFT.Type.hg -> (GuaCaml.BTools.BNat.nat * int) option
val lightweight_find_lopt : GuaCaml.GraphHFT.Type.hg -> GuaCaml.BTools.BNat.nat * int list list
val lightweight_greedy : ?verbose:bool -> Wap_exchange.input -> Wap_exchange.output