package org.simantics.scl.compiler.types.util;

import org.simantics.scl.compiler.types.Type;

public class ProcedureType {
    public final Type type;
    public final Type effect;
    
    public ProcedureType(Type type, Type effect) {
        this.type = type;
        this.effect = effect;
    }
}