package links

  1. Overview
  2. Docs
type opt =
  1. | PresenceOmit
  2. | AliasOmit
  3. | ArrowsShowImplicitEffectVariable
  4. | ArrowsCurriedHideFresh
  5. | ContractOperationArrows
  6. | OpenDefault
  7. | FinalArrowSharesWithAlias
  8. | AllImplicitArrowsShare
type t = opt list
val default : unit -> t
val presence_omit : t -> bool
val alias_omit : t -> bool
val arrows_show_implicit : t -> bool
val arrows_curried_hide_fresh : t -> bool
val contract_operation_arrows : t -> bool
val open_default : t -> bool
val final_arrow_shares_with_alias : t -> bool
val all_implicit_arrows_share : t -> bool