package krb
A library for using Kerberos for both Rpc and Tcp communication
Install
Dune Dependency
Authors
Maintainers
Sources
krb-v0.16.0.tar.gz
sha256=353675621e4c5a888f2483dc1bb7281bd17ce4ed7dfd2f40142257f98db7c77d
doc/src/krb.public/import.ml.html
Source file import.ml
1 2 3 4 5 6
(* most users of this library should ignore [Internal] things mentioned in the interface. *) module Time = Time_float_unix module Internal = Krb_internal_public.Std module Config = Internal.Config module Username = Username_kernel.Username
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>