links

The Links Programming Language
IN THIS PACKAGE
val unpack : ( 'a, 'b ) Lens.Utility.Result.result -> die:( string -> 'c ) -> fmt:( Lens.Utility.Format.formatter -> 'd -> unit ) -> 'e
val format_lens_sort_error : Lens.Utility.Format.formatter -> Lens.Sort.Lens_sort_error.t -> unit
val unpack_lens_sort_result : die:( string -> 'a ) -> ( 'a, Lens.Sort.Lens_sort_error.t ) Lens.Utility.Result.result -> 'b
val unpack_type_lens_result : die:( string -> 'a ) -> ( 'a, Lens.Sort.Lens_sort_error.t ) Lens.Utility.Result.result -> 'b
val format_fun_dep_tree_form_error : Lens.Utility.Format.formatter -> Lens.Fun_dep.Tree.Tree_form_error.t -> unit
val format_select_sort_error : Lens.Utility.Format.formatter -> Lens.Sort.Select_sort_error.t -> unit
val unpack_type_drop_lens_result : die:( string -> 'a ) -> ( 'a, Lens.Sort.Drop_sort_error.t ) Lens.Utility.Result.result -> 'b
val format_phrase_typesugar_error : Lens.Utility.Format.formatter -> 'a Lens.Phrase.Typesugar.error -> unit
val format_type_select_error : Lens.Utility.Format.formatter -> 'a Lens.Type.Select_lens_error.t -> unit
val unpack_type_select_lens_result : die:( string -> 'a ) -> ( 'a, 'b Lens.Type.Select_lens_error.t ) Lens.Utility.Result.result -> 'c
val unpack_phrase_typesugar_result : die:( string -> 'a ) -> ( 'a, 'b Lens.Phrase.Typesugar.error ) Lens.Utility.Result.result -> 'c
val unpack_sort_select_result : die:( string -> 'a ) -> ( 'a, Lens.Sort.Select_sort_error.t ) Lens.Utility.Result.result -> 'b
val format_sort_join_error : Lens.Utility.Format.formatter -> Lens.Sort.Join_sort_error.t -> unit
val unpack_sort_join_result : die:( string -> 'a ) -> ( 'a, Lens.Sort.Join_sort_error.t ) Lens.Utility.Result.result -> 'b
val format_type_join_error : Lens.Utility.Format.formatter -> 'a Lens.Type.Join_lens_error.t -> unit
val unpack_type_join_lens_result : die:( string -> 'a ) -> ( 'a, 'b Lens.Type.Join_lens_error.t ) Lens.Utility.Result.result -> 'c
val format_eval_error : Lens.Utility.Format.formatter -> Lens.Eval.Error.t -> unit
val unpack_eval_error : die:( string -> 'a ) -> ( 'a, Lens.Eval.Error.t ) Lens.Utility.Result.result -> 'b
val format_lens_unchecked_error : Lens.Utility.Format.formatter -> Lens.Type.Unchecked_lens_error.t -> unit
val unpack_lens_checked_result : die:( string -> 'a ) -> ( 'a, Lens.Type.Unchecked_lens_error.t ) Lens.Utility.Result.result -> 'b