Module Lang.Open

type t = {
expansion : Signature.t;
}