Commit 1a5de20b authored by Stephane Glondu's avatar Stephane Glondu

StdExtra -> Util

parent 99c096f5
open StdExtra
open Util
open Serializable_compat_t
open Eliom_content.Html5.F
......
open StdExtra
open Util
open Serializable_compat_t
type election_data = {
......
open StdExtra
open Util
(** Helper functions *)
......
open StdExtra
open Util
open Serializable_compat_t
module type GROUP = sig
......
open StdExtra
open Util
open Serializable_compat_t
open Lwt
......
open StdExtra
open Util
open Serializable_compat_t
open Eliom_service
open Eliom_parameter
......
StdExtra
Util
Core_datatypes_j
Serializable_t
Serializable_j
......
open StdExtra
open Util
open Serializable_compat_t
let of_question q =
......
StdExtra
Util
Core_datatypes_j
Serializable_compat_j
ElGamal
......
open StdExtra
open Util
open Serializable_compat_t
open Common
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment