Up – Package index » jasmin » Library jasmin.jasmin » Jasmin » OrdersTac » MakeOrderTac

Module `OrdersTac.MakeOrderTac`

Parameters
Signature

jasmin

Parameters

module O : Orders.EqLtLe

module P : sig ... end

Signature