vericert.HLSOpts


Parameter optim_if_conversion: unit -> bool.

Parameter optim_ram: unit -> bool.