package why3
exception StringExpected of string * rc_value
exception IntExpected of string * rc_value
exception BoolExpected of string * rc_value
type family = (string * section) list
type simple_family = section list
val empty : t
val empty_section : section
val get_simple_family : t -> string -> simple_family
val set_simple_family : t -> string -> simple_family -> t
val get_int : ?default:int -> section -> string -> int
val get_into : section -> string -> int option
val get_intl : ?default:int list -> section -> string -> int list
val get_bool : ?default:bool -> section -> string -> bool
val get_booll : ?default:bool list -> section -> string -> bool list
val get_boolo : section -> string -> bool option
val get_string : ?default:string -> section -> string -> string
val get_stringl : ?default:string list -> section -> string -> string list
val get_stringo : section -> string -> string option
val check_exhaustive : section -> Wstdlib.Sstr.t -> unit
val from_channel : in_channel -> t
val from_file : string -> t
val to_formatter : Format.formatter -> t -> unit
val to_channel : out_channel -> t -> unit
val to_file : string -> t -> unit
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>