links

The Links Programming Language
IN THIS PACKAGE
type opt =
| PresenceOmit
| AliasOmit
| ArrowsShowImplicitEffectVariable
| ArrowsCurriedHideFresh
| ContractOperationArrows
| OpenDefault
| FinalArrowSharesWithAlias
| 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