Parameter `Make.Contract`

type state

type reduction

type market_slice

type cursor

type audit

type context

type event

type intent

module Validation : sig ... end

module Initialize : sig ... end

module Actions : sig ... end

module Borrow : sig ... end

module Notifications : sig ... end

module Matching : sig ... end

module Targets : sig ... end

module Margin : sig ... end

module Valuation : sig ... end